Completed
Pull Request — develop (#1687)
by Christian
55s queued 35s
created

Changes

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