Skip to content

Improved compilation time

Compare
Choose a tag to compare
@rdeits rdeits released this 13 Nov 18:28
· 45 commits to master since this release
41037a3

Thanks @tkoolen!