Andriy Gapon writes: > 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 Thanks, will have a look soon. jaap