d889aca13a · tamer: asg::graph::AsgRelMut: API cleanup · Updated 2023-07-27 03:33:06 -04:00
9a62bb2ace · RELEASES.md: Update for v18.0.0 · Updated 2021-06-23 12:54:25 -04: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?