Skip to content

Bug fixes

Compare
Choose a tag to compare
@gildas gildas released this 06 Mar 17:38
· 54 commits to master since this release
d404947
  • LevelSet parsing should accept case-insensitive level names