[gtkada] ANNOUNCE: GtkAda 1.2.10 & 1.3.10 available

[Arnaud Charlet]

> Not true.  My RedHat Linux system is using a 586 compatible processor and
> wouldn't
> install the RPM files.

Then simply bypass the simple minded check ;-)
Does renaming the file do the trick ?

Arno