Sounds great Steve! I'll go through tools PRs once more right now. On Fri, Jan 2, 2015 at 2:20 PM, Steven Gill <stevengil...@gmail.com> wrote:
> Thinking about doing a tools release early next week. Let me know if you > have a PR that needs to be looked at before the release. > > -Steve >