-
Thomas Haller authored
After 1.12.0 is released, merge it back into master so that 1.12.0 is part of the history of master. That means, $ git log --first-parent master will also traverse 1.12.0 and 1.12-rc*. Also bump the micro version to 1.13.1-dev to indicate that this is after 1.12.0 is out.
cbeb34d3
To find the state of this project's repository at the time of any of these versions, check out the tags.