acf7d472fa · Sync from SUSE:ALP:Source:Standard:1.0 openmpi4 revision f54e92c54c5d5e0862c06af30580ecf9 · Updated 2023-12-28 01:15:50 +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?