On Nov 6, 2012, at 5:02 PM, Kai Tietz wrote: > 2012/11/6 Tristan Gingold <gingold@adacore.com>: > > Oh, yes. I missed that part on commit. I have the same in tree. I > would suggest to apply it as obvious. Thanks for your prompt reply, now committed. Tristan.