Re: proposed simplification for the 'poll' module

[Paolo Bonzini]

Paul Eggert wrote:

Here's a proposed simplification to the 'poll' module
to have it use the new sys_time module rather than
rolling its own substitute.

That's fine by me.

Paolo