5fc8b97e01 · Merge pull request 'should be ready for a release version now' (#1) from dev into master · Updated 1 week ago
Deleting a branch is permanent. It CANNOT be undone. Continue?