On Wed, May 03, 2017 at 03:50:52PM +0700, Robert Elz wrote: > There's been nothing significant since that request, so I will assume > (unless I hear otherwise soon) that this proposal (the man page is > included again below) is OK.
It might be useful to mention in the man page that the signal names are locale independent. Joerg
