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

[Zoltan Somogyi]

On Tue, 26 Nov 2019 15:42:45 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> I would suggest committing it now / early this evening so it ends up in
> today's ROTD build.

Any particular reason? Or have you reviewed it in the five minutes
between emails?

Zoltan.