Andy Wingo Mon, 23 Jan 2012 07:23:39 -0800
Pushed both of these patches; thanks! Andy -- http://wingolog.org/
