[Bug 73671] gideon takes too much memory for big projects

[Roberto Raggi]

On Friday 27 February 2004 12:19, Grzegorz Jaskiewicz wrote:
>  Hi,
>
> On Friday 27 February 2004 10:58, you wrote:
> > please can you send the patch to me so i can review it ;) seems that
> > there is no patch attached to your email
>
> The very same patch that was present in bug report :-)
hmm, strange.. anyway, it doesn't look dangerous, so I've applied it ;)

thanks a lot
ciao robe