7f7a9d55d6 · make Document opaque · Updated 2019-10-17 14:00:08 -05:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?