Skip to content

Publications 9.5.1

Latest
Compare
Choose a tag to compare
@Hammarn Hammarn released this 09 Oct 12:01
b11ba0f

This release contains the fix to [DCSS 87] by @reutenauer by escaping labels, thus they can now safely contain special characters (specifically / )