3f535052fc · update deps and set "unbiased" feature in `rand` · Updated 2025-03-20 19:42:23 +00: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?