V03-04-02
·
218 commits
to master
since this release
Implement a few bugfixes and regressions from V03-04-00 and -01 (solve conflicts between some option names, and allow backwards-compatibility with workspaces produced with tags earlier than V03-04-00)