> Date: Thu, 10 Jan 2002 17:01:00 -0800 > From: Michael Snyder <msnyder@redhat.com> > > > > Yes. The use of ./1234 should be documented. So should (in the NEWS > > file) the quiet switch of how <pid> vs <core> is decided. > > How's this? Looks good, thanks.