[m-rev.] for pre/post-commit review: add all pragmas to HLDS at once

[Julien Fischer]

Hi Zoltan,

I would suggest committing it now / early this evening so it ends up in
today's ROTD build.

Cheers,
Julien.

On Tue, 26 Nov 2019, Zoltan Somogyi wrote:

> I intend to commit this after midnight because it is needed
> for something else I am working on. Reviews welcome both before
> and after midnight, but I would prefer before :-)
>
> Zoltan.
>