Completed
Pull Request — develop (#823)
by Daniel
03:24
created

Changes

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