Hi Bastien, Thank you very much!
Best wishes, Arne Bastien <b...@gnu.org> writes: > Hi Arne, > > this is fixed in the master branch -- not in maint, as this is just > a (welcome) enhancement. > > Thanks for suggesting this. -- Unpolitisch sein heißt politisch sein ohne es zu merken