Re: GPS 2007

Arnaud Charlet <[email protected]> Wed, 30 May 2007 15:07:54 +0200

Newsgroups	gmane.comp.ide.gps.user
Message-ID	<[email protected]>

> By the way, is there a place where this kind of small bug should be reported
> instead of sending a message to the whole community each time a one is
> found?

Bugs should be reported to the gps-devel mailing list, with as much
details as possible to reproduce them from scratch (and with the
version of gps, gnat, ... used).

Arno