Re: slightly modified hasktags version / Who can commit it?

Hi Marc, On Tue, Feb 12, 2008 at 06:38:05PM +0100, Marc Weber wrote:

I've hacked on hasktags again http://mawercer.de/hasktags.hs I'd like to merge changes into the ghc distribution or ask someone to do so.

Thanks! I assume that this is the same as http://mawercer.de/hasktags_patch in which case I've applied it. Thanks Ian