Closed GuLinux closed 5 years ago
@GreatAttractor merging before your review, as it contains quite a few useful stuff, but if you can find the time to give a look at the PR anyway, it would be great :)
(Also, did you have a look at the new CI/CD system?)
@GuLinux the PR looks fine. I'll have a closer look at CI/CD soon!
Minor fixes to build system (particularly OSX):