This repository was archived by the owner on Dec 15, 2022. It is now read-only.
Move undo discard button & prompt if head has changed since last discard#1252
Closed
kuychaco wants to merge 3 commits into
Closed
Move undo discard button & prompt if head has changed since last discard#1252kuychaco wants to merge 3 commits into
kuychaco wants to merge 3 commits into
