summaryrefslogtreecommitdiff
path: root/open_issues
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2013-04-07 20:17:38 +0200
committerThomas Schwinge <thomas@codesourcery.com>2013-04-07 20:17:38 +0200
commitae5e8c6a91fde0b89d504a729245c51773aa5924 (patch)
tree84d5341b07a8cbcc20b0baef7e5ccf2d9ba7b56e /open_issues
parent0f4186b7136e5e55a0e6028d2b92db3f71411a44 (diff)
open_issues/gnat: Add some links.
Diffstat (limited to 'open_issues')
-rw-r--r--open_issues/gnat.mdwn8
1 files changed, 6 insertions, 2 deletions
diff --git a/open_issues/gnat.mdwn b/open_issues/gnat.mdwn
index 05b79f62..0f404b8a 100644
--- a/open_issues/gnat.mdwn
+++ b/open_issues/gnat.mdwn
@@ -90,9 +90,13 @@ svn://svn.debian.org/gcccvs/branches/sid@5638
## Svante's patch
-A basic port has been done by Svante, but there's still lots of work remaining.
+A basic port has been done by Svante, [[!debbug 668425]], [[!debbug 681998]],
+[[!message-id "1333104917.2962.439.camel@s1499.it.kth.se"]], but there's still
+lots of work remaining.
The port is not yet upstream: the maintainer raised some concerns that
-[[I|tschwinge]] have not yet found the time to follow up on. While the test
+[[I|tschwinge]] have not yet found the time to follow up on, [[!message-id
+"1339857758-5032-1-git-send-email-thomas@codesourcery.com"]].
+While the test
results of the GCC/GNAT testsuite don't look bad (but there are a few
unresolved issues, and the testsuite appears to be a rather small one), I don't
know if the port has yet seen any real-world usage, such as using it for any