added 2 commits
Compare with previous version
requested review from @grote
marked this merge request as ready
Tested here.
merged
mentioned in commit e8118189