Completed
Pull Request — develop (#823)
by Daniel
13:25 queued 07:12
created

Changes

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