>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> I haven't looked at the patch itself, but at this point, we really Joel> want any of them to be extra safe. If the approver thinks so, then Joel> it can go in. I think it would be fine. Tom