Skip to content

Minor bugfix

Compare
Choose a tag to compare
@klavins klavins released this 08 Mar 05:14
· 2221 commits to master since this release
b8129c2

Fixes bug in which an operation with a buggy precondition could prevent other operations from updating.