[m-dev.] installed compilers

[Julien Fischer]

Hi Zoltan,

On Tue, 11 Jul 2017, Zoltan Somogyi wrote:

> I committed a change a week ago that added a new synonym
> for the compiler_sufficiently_recent option. I would like to commit work
> that requires the installed compiler to have this new name, as well as
> the other changes up until then. Can everyone please install an
> up-to-date compiler on their machines?
>
> I plan to commit this diff in about 48 hours, unless someone objects.

No objections from me.

> BTW, the latest rotd was built on the 9th, so it should be sufficiently
> recent.

There'll be another ROTD build today in any case.

Julien.