On Sat, Apr 18, 2020 at 01:38:20AM +0200, Klemens Nanni wrote: > 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. >
Thanks, after Klemens' hint I came up with the same diff (but went for the big revision hammer). It works fine for the -main port. I'm not using the others. Florian -- I'm not entirely sure you are real.
