>>>>> Jonathan Wakely <jwakely@redhat.com> writes: > Looks good. OK for trunk, and OK to backport after some soak time on trunk. Thanks. AdaCore doesn't need a backport of this, and I don't think it's extremely important; so unless you want me to do it, I don't plan to. I did check it in on trunk earlier today. thanks, Tom