Attention is currently required from: Nico Huber.

View Change

1 comment:

• Patchset:

  • Patch Set #15:

    any update on current topic?

    What is there to do? If this is added via the Makefile, guard it depending on the GCC version? We already do this for other `-gnat*` flags.

To view, visit change 11836. To unsubscribe, or for help writing mail filters, visit settings.