Completed
Pull Request — develop (#1687)
by Christian
01:13 queued 44s
created

No notable changes

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

???
Head
Christian Münch  
Merge 2cabf9998bddaae9ab5ed13ad937b94fcb9044a4 into 55d0d868a6d8182ad13bce44cee822b2395511d1
10 more commits
Base
Christian Münch  
docs: update legacy download instructions