merging two bugs about polyorb

To: <control@bugs.debian.org>
Cc: <debian-ada@lists.debian.org>
Subject: merging two bugs about polyorb
From: Xavier Grave <xavier.grave@ipno.in2p3.fr>
Date: Tue, 25 Jun 2013 21:36:57 +0200
Message-id: <[🔎] 27ff83c9afa6acf5acc95114043e59ba@ipno.in2p3.fr>
Reply-to: <xavier.grave@ipno.in2p3.fr>

merge 701338 713297
thanks

Reply to:

Next by Date: Bug#714577: RM: gnat-4.4 -- obsolete
Next by thread: Bug#714577: RM: gnat-4.4 -- obsolete
Index(es):
- Date
- Thread