[jrmtool-developers] Front-end changes

[Jacek R. <jac...@ul...>]

Hi,

I have just committed Jonathan's changes into
`frontend-improvements-1.0' branch. Gail could you take a look at those
changes and comment? If there are no objections If there are no
objections would like to merge those changes into the trunk on thursday.

Regards,
-- 
Jacek Rosik <jac...@ul...>