severity 11803 minor
close 11803
thanks

Oops, I forgot to close this bug when we fixed it.  Closing it now.

Stefano



Reply via email to