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