6f1791c347 · !17 [sync] PR-15: replace random with RAND_priv_bytes · Updated 2024-03-01 06:02:26 +00:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?