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