2f38e7ab87 · Merge asio 1.16.0 from 'develop'. · Updated 2019-12-05 04:55:27 +01: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?