Completed
Pull Request — develop (#1707)
by Christian
01:34 queued 01:12
created

No notable changes

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

???
Head
Christian Münch  
Merge a0be4a6e1f6731d03e4a29bed3470c84aa84a919 into c8374dc63ace86e1adfa4487154ed0f7ccde01c3
1 more commit
Base
Christian Münch  
docs: add credits for make command