My bad, when fixing the old bug I introduced a new bug, sorry for that!
Should have been fixed as of rev. #13534.
My bad, when fixing the old bug I introduced a new bug, sorry for that!
Should have been fixed as of rev. #13534.