Commit graph

1 commit

Author SHA1 Message Date
Andreas Rumpf
49e686ab4e fixes #1286; object case transitions are now sound 2019-05-27 21:29:02 +02:00