7a5384239d · Merge branch 'cherry-pick-c3a57b9e' into 'master' · Updated 2016-09-06 20:57:37 +02: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?