Bug#746688: marked as done (the libgnatprj build uses system c++ header files, should use the ones from the build)

Your message dated Sun, 01 Jun 2014 14:49:18 +0200 with message-id 87y4xgg5gx@ludovic-brenta.org and subject line Re: Bug#746688: the libgnatprj build uses system c++ header files, should use the ones from the build has caused the Debian Bug report #746688, regarding the libgnatprj build uses

Bug#746688: marked as done (the libgnatprj build uses system c++ header files, should use the ones from the build)

Your message dated Sun, 01 Jun 2014 10:41:15 +0200 with message-id 87k391hvis@ludovic-brenta.org and subject line Re: Bug#746688: the libgnatprj build uses system c++ header files, should use the ones from the build has caused the Debian Bug report #746688, regarding the libgnatprj build uses