- Sep 16, 2019
-
- May 15, 2019
-
- May 11, 2019
-
- Nov 25, 2018
-
- Sep 10, 2018
-
- Sep 08, 2018
-
- Aug 18, 2018
-
-
Yorick Peterse authored
This was broken because of a wrong tag being generated for 0.2.3.
-
Yorick Peterse authored
-
Yorick Peterse authored
The script scripts/changelog.rb generates a changelog from Git commits, in a straightforward format. The make task "changelog" can be used to trigger this. This means tagging a release now comes down to: 1. Update the various version files. 2. Run "make changelog" and commit the changes. 3. Run "make tag" to create and push a Git tag. Fixes #133
-