Merge branch 'milloni/fix' into 'master'
Daniel Firth authored
Fix compilation error that comes up when building with Horizon

See merge request !1
5b9f1b78
Name Last commit Last update