Completed
Pull Request — develop (#1687)
by Christian
59s queued 38s
created

Changes

1 new patch (Indentation) is available.
???
Head
Christian Münch  
Merge 9de13e27423a6e01c2341e63121e8213b32939fa into 55d0d868a6d8182ad13bce44cee822b2395511d1
6 more commits
Base
Christian Münch  
docs: update legacy download instructions