f479621d8e · Sync from SUSE:ALP:Source:Standard:1.0 spirv-tools revision aa15600f05a5877ae98d47d491675773 · Updated 2024-02-01 16:51:43 +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?