Include tag in master
When I prepared the 1.2 release, things probably happpened in the following order:
-
I created the preparation commits.
-
I created an MR containing those commits.
-
I merged the MR using Marge. Marge amended the commit messages with links to the MR.
-
I tagged the last local commit.
-
I pushed the tag.
In step 4 I should have reset my local checkout to the version on the origin repo, which had diverged from my local version due to Marge's commit message modifications. I didn't do that, so the master branch ended up pointing to a different version than the tagged commit. This merge commit makes the tagged commit part of the master branch.