From: Peter Munch Date: Mon, 18 Sep 2023 19:09:07 +0000 (+0200) Subject: Merge pull request #16000 from marcfehling/hermite X-Git-Tag: relicensing~494 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43efdb9f07ba9464d0ae3d740a5fd55821154897;p=dealii.git Merge pull request #16000 from marcfehling/hermite Fix warning about deprecated implicit conversion. --- 43efdb9f07ba9464d0ae3d740a5fd55821154897