mirage/mirage-types — pull request #11 by avsm (2013-12-07 11:24:40+00:00)
Title: Correct typo in Console.write_all

Spotted by @mor1