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