On Sun, Jul 24, 2016 at 06:48:13PM +0200, Andreas Enge wrote: > It worked out and did not take that long after all. I pushed the fix, merged > master into core-updates
This does not seem to have worked out. I will let someone more git-savvy do it next time, maybe after someone more C-savvy has been able to solve the lpsolve build failure... Sorry, Andreas