Skip to content

Allow case-splits to be undone with just one undo operation#237

Open
banacorn wants to merge 2 commits intomasterfrom
history
Open

Allow case-splits to be undone with just one `undo` operation#237
banacorn wants to merge 2 commits intomasterfrom
history

Commits