On Sat, Apr 18, 2020 at 01:34:47AM +0200, Joerg Jung wrote:
> thanks, but please hold-off for a second, as giovanni is already going
> to commit a diff to upgrade to latest release 6.7.0 better he merges
> the line then into his diff instead of the revision bumps, I believe ...
Go ahead with whatever seems fit;  I don't use this port, just wanted to
help out florian.

Reply via email to