Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 13 Nov 2006 01:33:50 GMT
From:      Martin Wilke <miwi@FreeBSD.org>
To:        timbob@bigpond.com, miwi@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
Subject:   Re: ports/105446: Update port: devel/uppaal (patch registration URL)
Message-ID:  <200611130133.kAD1XoDw039940@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: Update port: devel/uppaal (patch registration URL)

State-Changed-From-To: open->closed
State-Changed-By: miwi
State-Changed-When: Mon Nov 13 01:33:50 UTC 2006
State-Changed-Why: 
Committed. Thanks!

http://www.freebsd.org/cgi/query-pr.cgi?pr=105446



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200611130133.kAD1XoDw039940>