Am Sat, Feb 25, 2023 at 12:03:20PM -0500 schrieb Andres Salomon: > > Thus at least lowering severity of this bug report to important. > > Thanks, Andreas! I suggest we leave this bug open for people who don't see > the NEWS entry.
Exactly this was the idea why I did not closed this bug. I have choosen the "right below RC" severity to leave it at least prominently visible (even if I do not consider it really important). BTW, I've swapped your (Andres) and my roles in d/control in Git and I'd be happy to be dropped completely in the next upload if there might be any need for it. Kind regards Andreas. -- http://fam-tille.de