Completed
Pull Request — develop (#823)
by Daniel
08:38
created

Changes

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