671b68d70a · fix handling of type 13 and type 17 messages. · Updated 2026-01-29 12:38:30 +01: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?