9e4b9ba92a · Merge branch 'master' of git.thj.no:thor/fedidel · Updated 2 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?