[VarSizeComm] Remove unused private member sizesAllocated_ (!617) · Merge requests · Core Modules / dune-common · GitLab

Jö Fahlke requested to merge remove-unused-private-mamber-sizesallocated into master Jan 29, 2019

Found by clang 7 https://gitlab.dune-project.org/core/dune-common/-/jobs/80025

Edited Jan 29, 2019 by Jö Fahlke