3638407c42 · update header comment email; sync bug fixes into 'mc' version · Updated 2024-01-19 19:36:38 -08: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?