Skip to content

Version 1.7.2 – Bugfix release

Compare
Choose a tag to compare
@mhucka mhucka released this 01 Sep 19:46
· 25 commits to master since this release

This fixes additional remaining problems with the definition of Appendix section labels. The previous release 1.7.1 missed some lingering issues. This closes GitHub issues #1 and #2.