Hello Michael, On 13.05.20 11:51 AM, Michael Kerrisk (man-pages) wrote: > On Wed, 13 May 2020 at 11:33, Thomas Piekarski > <t.piekarski@xxxxxxxxxxxxxx> wrote: > >> I happen to stumble upon "Bug 206693 - hier is outdated" [...] >> [...] Did anyone start to solve this issue? > > Not yet. That's great, I'll start today :) Thanks for your reply and time, Thomas
