Bug#167909: Is this done?

[Gerhard Tonn]

On Friday 03 January 2003 20:57, Jeff Bailey wrote:
> Is this bug done?  I suspect it is, but it would be nice to get
> confirmation so it can be properly marked as closed.
>

Yes, it's fixed. Thanks.

Gerhard