Am 19.09.2018 um 03:10 schrieb dick balaska:
> Hopefully these are still legible with the extreme line length wrappage.
They're legible enough to recognize that they're all related to
PooledSimpleVector.
And indeed the class managing those vectors - VectorPool - doesn't have
a destructor. Duh.
Thanks for spotting this.
