merged 798c2cec8e37 and e96ff45795bc
authorNilay Vaish <nilay@cs.wisc.edu>
Mon, 28 Jan 2013 14:24:40 +0000 (08:24 -0600)
committerNilay Vaish <nilay@cs.wisc.edu>
Mon, 28 Jan 2013 14:24:40 +0000 (08:24 -0600)

Trivial merge