New ports...

[Kurt Jaeger]

Hi!

> I've submitted a couple of new ports (to bugs.freebsd.org and I'm
> curious if one is supposed to do something else after doing that? 

In general: no. It's helpful to mention those ports here on the list,
because ports committers are swamped with requests.

> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=247211

This one needs fixes so that portlint does no longer complain.

> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=246876

This had small issues with missing PLIST_FILES. Fixed, committed!

-- 
pi at opsec.eu            +49 171 3101372                    Now what ?