MOVED: Where do I submit a bug fix to Ethernet.cpp?

This topic has been moved to Suggestions for the Arduino Project.

http://arduino.cc/forum/index.php?topic=116614.0