[9fans] patches

[Russ Cox]

a public thank you to everyone who has 
been submitting fixes via patch(1).  recently
we've been getting a steady stream of a
couple a day, and we've had over 250 since
the patch tools were created.

russ