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