On 2023/08/16 09:39, Klemens Nanni wrote: > 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.
It would certainly be helpful for other developers if people would drop maintainer if they're not going to be able to put much time into maintaining a port. At least then versions will show in the ports@ list on portroach and be easier for others to notice when they're outdated.
