merged
mentioned in commit 23a1b4fb
This will create a new commit in order to revert the existing changes.