On Mon, Aug 14, 2023 at 07:36:06AM +0000, Klemens Nanni wrote: > No response from maintainer so far. > Joshua reported success for the update, I don't use it, but am inclined > to keep such a port up-to-date. > > Feedback? OK?
None, I've just committed the update.