Clone
Guillaume Nodet <gnodet@gmail.com>
committed
on 12 Oct 18
Various build fixes
master + 10 more