ec1c717341 · Merge pull request 'allow for smaller m' (#799) from trim-ergo into staging · Updated 2024-11-11 23:12:23 +01:00
9d3b1d522b · Merge pull request 'allow for smaller m' (#800) from trim-ergo into main · Updated 2024-11-11 23:12:33 +01:00 philipp
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?