Skip to content

Release the latest batch of small fixes

Pre-release
Pre-release
Compare
Choose a tag to compare
@gdestuynder gdestuynder released this 11 Nov 22:14
· 131 commits to master since this release
4830164
Merge pull request #472 from gdestuynder/master

misc small fixes