426bdba7fb · httpfetch: Disable IPv6 here too if requested by settings (#8399) · Updated 2019-03-18 15:06:27 +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?