"Alfred M. Szmidt" <a...@gnu.org> writes:

> Simon, you might want to push this. :-)

Oops!

> PS.  Two spaces after end-of-sentence period.

Fixed as well.

Thanks,
Simon

Reply via email to