[PATCH][BZ #13724] Do not segfault in pthread_setname_np (x, NULL)

[Ondřej Bílka]

On Thu, Oct 03, 2013 at 03:49:38PM -0400, Carlos O'Donell wrote:
> Could you please go one step further and add pthread_setname_np
> to the manual? Add a @deftypefun in manual/threads.texi in the
> "Non-POSIX Extensions" section and briefly describe the function.
> See pthread_getattr_default_np/pthread_setattr_default_np as
> exmaples.
> 
> OK with manual update.
>

These are also documented at
http://man7.org/linux/man-pages/man3/pthread_setname_np.3.html

should I use that?