>>>>> "Richard" == Richard Stallman <rms@gnu.org> writes:
Richard> You may not need it, but it is supposed to work. It is a
Richard> documented feature.
Richard> Does it work, now?
Yes, I fixed it.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com