On Wed, Jul 1, 2015 at 9:00 PM, Stefan Weil <sw@weilnetz.de> wrote:

Fabien, you suggested "extensive tests". Do you think that
patch v2 is fine, or are you still waiting for test results?

On Mon, Jul 6, 2015 at 12:29 PM, Fabien Chouteau <chouteau@adacore.com> wrote:

That's good for me.

Ping...