[Freemint-list] Partial cross-tools update 2017-05-04

[Vincent Rivière]

On 06/05/2017 à 16:24, Dima Sobolev wrote:
> Is cross-mint version is still 4.9.4   ?

???

Whatever you mean, GCC is still 4.6.4. In the real world, I have no need to 
update it.

-- 
Vincent Rivière