Completed
Pull Request — develop (#823)
by Daniel
23:29 queued 21:04
created

Changes

1 new patch (Spacing) is available.
10
▶   ± 0
Head
Daniel Rotter  
Merge 3eeb260f7c6be2368e88a18d77a032f58e5387f2 into c2183b08f29f4f3f0791d3fe7dc11e0b7516a2cb
1 more commit
Base
Thomas Schedler  
updated dependencies