Re: gnulib: update, and use the attribute module

[Paul Eggert]

On 5/9/20 12:04 AM, Akim Demaille wrote:

> +#include <stdnoreturn.h>

This shouldn't be needed, since you're '_Noreturn' not 'noreturn' (and there's
good reason to avoid 'noreturn').