Make 'push --undo' safer
[stgit] / debian / compat
... / ...
CommitLineData
14