cc @mlugg
953ca759c2446adc21648a9017b656ac84171291
https://codeberg.org/ziglang/zig/issues?q=&type=all&sort=relevance&labels=747060&state=open&milestone=0&project=0&assignee=0&poster=0
cc @mlugg
cc @mlugg
Optimistically re-enabled in #31403.
No due date set.
No dependencies set.
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?