Seems to me this bug report can be closed as "not a bug", given the
post above.

-- linas



Reply via email to