Re: command and doco for valgrind

[Nick Roberts]

 > >  > FWIW, this problem is documented in the valgrind's docs.
 > > 
 > > How about including this in Emacs PROBLEMS file also?
 > 
 > Do we have something useful to tell users, like how to work around the
 > problem?  If not, I personally don't see any reason to have this same
 > text in PROBLEMS.

The reasoning would be that someone, on seeing it, might work on it (to Emacs
benefit). It's probably not appropriate for the TODO file, and like many
tasks, such as GNOME support for Emacs, it falls between the cracks of two
different projects and gets forgotten about. I'm not suggesting copying it
verbatim.

Nick