Former-commit-id: ea3287ee
assigned to @mweise
merged
mentioned in commit d85061e7
mentioned in commit c70e7cf8