Skip to content

Fixes #678: Use the size getter to know if the Map is empty;

Benjamin Bouvier requested to merge fix-map into master

Merge request reports