Am 18.11.2008 um 21:24 schrieb [EMAIL PROTECTED]:
Thanks for the patch.
Had this on my todo list for long time already...
Without having tested it, the patch looks good...
One small thing: any reason to call it POOL and not pool?
No, not really. I copied it from some forum texts.
Now you mentioned it, it hurts my eyes too.
And it is an unneeded leftover too. The POOL variable can go.
Is the version number change ok with you? If it is, I want to commit
the
thing.
Well, what is the consensus about the version now?
Stefan
