Skip to content

History bug fix

Latest
Compare
Choose a tag to compare
@mesmo mesmo released this 11 Aug 17:25
· 7 commits to master since this release

Fix a bug that caused history semantics to be followed when reentering a region that did not have history defined.