[m-dev.] Almost ready to merge the update_boehm branch

[Peter Wang]

On Thu, 24 Sep 2015 19:58:40 +1000, Paul Bone <paul at bone.id.au> wrote:
> > 
> > Should this change be committed to master independent of the GC upgrade
> > change?
> 
> I don't really see a reason why not to as it fixes what seems to be a
> genuine memory error.  I think that this is your code, so if you don't know
> or remember a reason for it being the way it is I can put it on master.

Please do, thanks.

Peter