Thu, 30 Aug 2012 15:06:32 +0200 Manuele Conti Update configure script.
Thu, 30 Aug 2012 13:35:15 +0100 Mario de Sousa More precise handling of const value status.
Thu, 30 Aug 2012 13:08:02 +0100 Mario de Sousa Fix bug in checking array ranges.