add ChangeLog entry for previous commit
Description
Description
Details
Details
- Provenance
cgutscho Authored on cgutscho Pushed on Apr 24 2019, 12:01 PM - Parents
- rRIVETHG2ce5a08a6af4: patch weird VetoedFinalState behaviour when used with Cut argument
- Branches
- Unknown
- Tags