On 9/20/2015 21:17, Achim Gratz wrote:
> JonY writes:
>> GCC prereq downloads 0.14, so that version it is.
> 
> Done.

Thanks!