>>>>> "Anthony" == Anthony Green <green@redhat.com> writes: >> If nobody much cares about the memory use, then >> I'll just check it in. We can always add the configure-time option >> later on if it is needed. Anthony> Is making this a configure time option a lot of work? It is unknown. I'll try to look at it before vacation. Tom