On 2020-08-02 00:29, Karl Berry wrote: > It would need to be applied upstream (maybe by Karl?). > > Not me, these days. Writing bug-standa...@gnu.org is the right thing to do.
I see, thanks. --> https://lists.gnu.org/r/bug-standards/2020-08/msg00000.html Have a nice day, Berny