Completed
Pull Request — develop (#1687)
by Christian
54s queued 36s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Christian Münch  
Merge 52119924da9a0a2e3a8094b2791ebefecc0f88de into 55d0d868a6d8182ad13bce44cee822b2395511d1
9 more commits
Base
Christian Münch  
docs: update legacy download instructions