xmmalloc?

[Kevin Buettner]

On Sep 20,  7:16pm, Daniel Jacobowitz wrote:

> I get the distinct impression that uses of mmalloc have started to
> rot...
> 
> If this is not the case, could someone please summarize the advantages? 

Yes, I'd like to see this too.

> Otherwise, should we just remove it entirely?

If no one makes a convincing case for it, I think it should be removed.
It'd make the code in utils.c simpler...

Kevin