033edcb345 · Improve user experience of error viewer · Updated 2019-09-02 17:58:36 +02: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?