Re: poll() emulation in git/gnulib

[Paolo Bonzini]

Il 12/09/2012 19:02, Joachim Schmitz ha scritto:
> Which Monday? ;-)

September 31st.  Doing it now, sorry.

Paolo