Torsten Curdt wrote:
> If no one is fixing this - could we at least shut down the bot?

Hah, i had just done it a few minutes ago.

Could any further discussion please go back to the other
recent thread which has the background info.

-David

Reply via email to