-
Ansgar Burchardt authored
This should fix the build failure on 32bit architectures. Bug: https://gitlab.dune-project.org/core/dune-common/merge_requests/181
83df876a
This should fix the build failure on 32bit architectures. Bug: https://gitlab.dune-project.org/core/dune-common/merge_requests/181