On Tue, Jan 20, 2015 at 10:51 AM, Eric Botcazou <ebotcazou@adacore.com> wrote: >> Ping? Any thoughts? > > x86 for the family and x86-32/x86-64 for the 2 architectures? > Works for me. -- H.J.