[gtkada] gate bug

Arnaud Charlet charlet at adacore.com
Mon Oct 23 14:51:14 CEST 2006


> So I think there is some script error anyhow. I think you can confirm this ?

Sorry, I can't.
You give too partial information to be able to confirm anything.

In e.g. my set up, merge is properly detected and enabled, so you will
have to look at more complete logs and do some more analysis of the problem
on your side.

Arno



More information about the gtkada mailing list