Reference: https://gitlab.dune-project.org/core/dune-common/issues/77
Pipeline #6677 passed
Pipeline passed for 263c8d05 on burchardt_at_igpm.rwth-aachen.de:bugfix/resolve-ambiguous-size-call 7 years ago
Pipeline #6683 passed
Pipeline passed for 327eece1 on master 7 years ago
This should probably be backported, too.
mentioned in commit 327eece1
merged
(Jun 14, 2025 10:04am UTC) 