e91d2948d1 · Merge branch 'master' of clkl.de:wiai/doorbot · Updated 2017-11-10 15:26:02 +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?