shin82008/App-Prove-Plugin-Distributed — pull request #1 by amb43790 (2012-04-26 23:08:01+00:00)
Title: A few fixes I found

I found a few of our UR tests that failed, and these two commits fixed them. The checkin comments should explain it.