http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483

--- Comment #20 from bosch at adacore dot com <bosch at adacore dot com> ---
On Mar 10, 2014, at 16:11, ebotcazou at gcc dot gnu.org
<gcc-bugzi...@gcc.gnu.org> wrote:

> --- Comment #19 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Taking care of it.
> 

Thank you!

  -Geert

Reply via email to