Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Misc #862

Merged
merged 8 commits into from
Dec 18, 2017
Merged

Misc #862

merged 8 commits into from
Dec 18, 2017

Conversation

rasmuserik
Copy link
Collaborator

@rasmuserik rasmuserik commented Dec 15, 2017

Indeholder et commit per konceptuel ændring, de enkelte commits er annoteret med issue nummer, hvor relevant.

@rasmuserik rasmuserik merged commit 522b7be into master Dec 18, 2017
@rasmuserik rasmuserik deleted the rasmuserik/misc branch December 18, 2017 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant