On 15/06/2020 17:35, Jaap Akkerhuis wrote: > If you want the port to change, send a PR for the port so I won't forget this. Done. https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=247305 -- Andriy Gapon