Oh weird, this merge request isn't getting marked as merged by launchpad, because I had to rebase my merge on top of other commits; for some reason `git pull --rebase=merges` which is not supposed to rewrite non-local commits, did so anyway, changing the hash of Alex's commit.
> Thanks, merged.
Oh weird, this merge request isn't getting marked as merged by launchpad, because I had to rebase my merge on top of other commits; for some reason `git pull --rebase=merges` which is not supposed to rewrite non-local commits, did so anyway, changing the hash of Alex's commit.