Bug#509897: gnat-gps: fails to open menu Edit -> Preferences

Thu, 25 Feb 2010 08:38:13 -0800 

Version: 4.3-4

Thank you, Nicolas, for testing. Closing the bug now.

-- 
Ludovic Brenta.




--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to