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