Hi Amine, why haven't the build bots complained about the #pragma once? (and
the more fundamental question: why does the #pragma once make compilation
fail for *some* people?)

Hi,

The pragma issue makes compilation break for *all* people except those who have PCH set to 0. As to build bots, I assume they are using ccache builds with PCH turned off.

Cheers,
Amine.