Re: GCJ ------ file type not supported by system

[Mario Torre]

On Thu, 2014-09-04 at 18:17 +0200, Guillermo Rodriguez wrote:
> I think that updating the website

P.S. That counts as a patch as well ;)

Cheers,
Mario