Old Synopsis: NetRexx port in wrong main category, main website has moved
New Synopsis: java/netrexx port in wrong main category, main website has moved
Responsible-Changed-When: Sun Dec 5 04:04:34 GMT 2004
Although this port is in the 'java' category of ports, it's still a port,
and thus the appropriate place for it is in 'ports'. The GNATS 'java'
category is reserved for things like JVM problems.
Also, it's helpful when filing PRs to include the exact portname in
the Synopsis and also to Cc: the maintainer (GNATS does not know how
to do the latter).
XXXX@XXXXX.COM mailing list
To unsubscribe, send any mail to " XXXX@XXXXX.COM "