Log into github, go here: Arduino/libraries/Ethernet/src at ide-1.5.x · arduino/Arduino · GitHub
Make your changes, then click save. Cos you do not have write permission github will automatically fork if needed, then put the commit in a new branch.
Then you can create a pull request.
When you work out the developers forum, a discussion there may support the pull request.