15 Jun
2018
15 Jun
'18
12:59 p.m.
Have seen it too late to announce it in the commit message but this patch solves also Bug #11715
Best,
Erik