Roland McGrath <[email protected]> writes:

> That looks OK to me, but the #include <stdio.h> seems extraneous.

It's a leftover from debugging printfs, that I forgot to remove.
I removed it now and pushed.

Thanks,
Petr

Reply via email to