From: Marc Fehling <mafehling.git@gmail.com>
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