I couldn't make two merge requests that had a commit in common, so.
merged
mentioned in commit 9c7f7ba6