On Tue, Aug 19, 2014 at 12:34 PM, Noah Misch <noah(at)leadboat(dot)com> wrote:> Committed after making several fixes, notably:Thanks a lot, especially for the additional comments.-- Michael