00b124e266 · Add issue code for ghdl/ghdl#2336 · Updated 2 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?