eea0e516a6 · Merge branch 'master' of git.chinwag.org:mike/c64wifi · Updated 2019-01-08 20:40:00 +11: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?