Can someone please commit PR 191725?

[Kurt Jaeger]

Hi!

> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191725
> 
> I am the maintainer of said port and approve the patch that comes with
> this PR, so I'd appreciate it if somebody can commit it.

Done. Sorry, I only saw at the end that mandree@ was the submitter 8-(

He could have committed it himself, so it would have been sufficient to
give it back to him.

-- 
pi at opsec.eu            +49 171 3101372                         6 years to go !