On Tuesday, November 26, 2013 03:05:18 PM Matthew Booth wrote:
Thanks, Mike. I've pushed all of these. There were a couple of
trivial
bugs in patch 2, but nothing worth an extra round of review. To keep
things simple I pushed the fixes as separate commits.
Thanks for the review and help, Matt. I'll keep an eye out on the list in case
any problems are reported.
-Mike