>>>>> "Thomas" == Thomas Devoogdt <thomas at devoogdt.com> writes: > Commit 4c7fcbbe75de5c535e8d5dd7182900b6d09e2b03 should have set it to GCC 8. > Signed-off-by: Thomas Devoogdt <thomas at devoogdt.com> Committed, thanks. -- Bye, Peter Korsgaard