[jbosstools-dev] Re: Questions about a few jiras
On Tue, 2009-03-03 at 00:31 +0100, Snjezana Peco wrote:
https://jira.jboss.org/jira/browse/JBIDE-3839 - I think that Denny
fixed
this issue within JBIDE-3723
I agree, so I think it can be closed as well.
-- John