bitovi/steal-tools — pull request #106 by matthewp (2014-10-16 01:12:36+00:00)
Title: Use the latest Steal minor branch

This upgrades us to the latest Steal minor branch which had a couple of bug fixes that shouldn't cause any problems.