@reister Could you do a quick check?
requested review from @reister
assigned to @kartmann
approved this merge request
Thanks for fixing this and sorry that I have missed it.
merged
mentioned in commit 25a412d0
