coreos/scripts — pull request #33 by marineam (2013-07-14 20:56:06+00:00)
Title: SDK script updates

Pull assorted SDK script updates from Chromium OS, the most important is the /dev/pts fix.