On Wed, Dec 9, 2015 at 8:17 PM, Thomas Munro wrote:
> Thanks for looking at this Michael. It's probably not much fun to
> review! Here is a new version with that bit removed. More responses
> inline below.
Could this patch be rebased? There are now conflicts with 8b469bd7 and
it does not apply cleanly.
--
Michael