Lars #115

Merged
11291680 merged 2 commits from lars into master 2017-01-24 17:32:44 +01:00

2 Commits

Author SHA1 Message Date
Lars van Hijfte
fddbd0ca87 Merge branch 'master' into lars 2017-01-24 17:32:13 +01:00
Lars van Hijfte
d19038cb1c Merge branch 'lars' into 'master'
Lars

See merge request !110
2017-01-24 17:11:09 +01:00