> Anyway, I still like the idea, but I wonder if now right after the
> hackathon is the right time. But please continue experimenting with
> this during my vacation ;-) Changing the error message would be a good
> thing, to distinguish the various calls to munmap. 

Timing is bad.  We need to fix the tree, and move towards release.

Reply via email to