Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cdt-dev] MIMemory oddity. 
On 18/05/2012 22:26, Pawel Piech wrote:
> I think you're right on: looks like a minor bug.

  Thanks for the second pair of eyes.  Sorry for not sending a formal patch,
but I'm up to my neck in it right now (and I don't suppose it's even a
measurable optimisation in practice anyway).

    cheers,
      DaveK

Back to the top