316d937f11 · Minor compile fixes and corrections · Updated 2023-10-22 17:18:03 -07:00
801b024811 · Merge remote-tracking branch 'github/neon' into hsh · Updated 2020-10-19 23:28:52 -07: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?