Commit 988fa5dc authored by lh1887's avatar lh1887
Browse files

Adjust to upstream changes

In dune-solvers!13, the dune-solvers variant of IsNumber was removed.
parent 620c3d54
Pipeline #6223 failed with stage
in 1 minute and 13 seconds