diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-07 20:17:38 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-07 20:17:38 +0200 |
commit | ae5e8c6a91fde0b89d504a729245c51773aa5924 (patch) | |
tree | 84d5341b07a8cbcc20b0baef7e5ccf2d9ba7b56e /open_issues | |
parent | 0f4186b7136e5e55a0e6028d2b92db3f71411a44 (diff) |
open_issues/gnat: Add some links.
Diffstat (limited to 'open_issues')
-rw-r--r-- | open_issues/gnat.mdwn | 8 |
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 |