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