Committed to head as r10-6952-g7067f8c814088c1d02e40adf79a80f5ec53dbdde Thanks, Thomas
Paul On Sun, 1 Mar 2020 at 13:44, Thomas Koenig <tkoe...@netcologne.de> wrote: > > Hi Paul, > > > Regtested on FC31/x86_64 - OK for trunk? > > > OK. Thanks for the patch! > > Regards > > Thomas -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein
