Skip to content

Merge pull request #42 from hackerspace-ntnu/better-names-and-new-mic… #2

Merge pull request #42 from hackerspace-ntnu/better-names-and-new-mic…

Merge pull request #42 from hackerspace-ntnu/better-names-and-new-mic… #2

Update  /  authorized_keys

succeeded Sep 15, 2024 in 8s