On 24 April 2011 23:53, myles <[email protected]> wrote: > I have been maintaining 'instant-fenics' but now that 'instant' has been > orphaned and I have adopted it and updated it, 'instant-fenics' is no longer > required: please could someone remove it?
Removed, thanks.
