Skip to content

Port the implementation of 'class Annots' to std::vector

This simplifies the code a little: most of the memory management code disappears, because std::vector does it for us.

Merge request reports