Completed
Pull Request — master (#38)
by
unknown
06:39 queued 48s
created

Changes

8.19
▶   ± 0
Head
Gabriel Birke  
Merge 8cc8a01ba604fc978963150287c88cfafd8b646c into dd5a929688ce6c14e96a49585540a7a8c651740d
3 more commits
Base
wmde-manicki  
Merge pull request #40 from wmde/local_config