>>>>> "Mario" == Mario Fink <mario.fink at record-evolution.de> writes: > Signed-off-by: Mario Fink <knif.oiram at gmail.com> Committed after extending the commit message to explain what this fixes, thanks. -- Bye, Peter Korsgaard