From: Daniel Arndt Date: Fri, 15 Sep 2023 14:03:41 +0000 (-0400) Subject: Merge pull request #15986 from jpthiele/jpt-GaussRadau X-Git-Tag: relicensing~504 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2cf7979c5f9965f7a7aa12e1f0ec83af12f8653e;p=dealii.git Merge pull request #15986 from jpthiele/jpt-GaussRadau --- 2cf7979c5f9965f7a7aa12e1f0ec83af12f8653e