mozilla/rust — pull request #10180 by alexcrichton (2013-10-30 22:56:08+00:00)
Title: Make Writer::flush a no-op default method

Closes #9126