Re: container stuff

Andrei Alexandrescu:
> Done. removeAny was my choice as of a few months ago but I'd forgotten.


I suggest to call it just "pop".

Bye,
bearophile

Reply via email to