Reporting bugs, crash in string maniuplation w/-Os option

Mon Dec 30 14:51:00 GMT 2002

>>>>> "Ã˜yvind" == Ã˜yvind Harboe <oyvind.harboe@zylin.com> writes:

Ã˜yvind> I've reported a couple of bugs to gnatsweb and I was wondering
Ã˜yvind> if I've gotten it right, e.g. is it more approperiate to
Ã˜yvind> discuss bugs in this mailing list before submitting them?
It is fine to just submit them. If you think a discussion here would
be profitable (for instance, if it isn't clear whether something is a
bug, or if you disagree with my occasionally summary executions of
bugs), that's fine too.
Tom