From: Marc Fehling Date: Tue, 11 Jul 2023 14:57:43 +0000 (-0600) Subject: Merge pull request #155 from marcfehling/95 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3dd3f90f6a81d36f5a437548e6351f588d9a4ba6;p=code-gallery.git Merge pull request #155 from marcfehling/95 Require deal.II 9.5 in all programs. Bump CI. --- 3dd3f90f6a81d36f5a437548e6351f588d9a4ba6