Subject: bug#9101: timeout should use setitimer if available

From: Paul Eggert <[email-masked]>
Date: Tue, 19 Jul 2011 15:46:39 -0700

On 07/19/11 15:24, Pádraig Brady wrote:
> How about just adding a module to gnulib
> where others might find it useful too?

Yes, that's better, thanks.  Could you please add
Jim and me to the maintainer list?