From: Bruno Blais Date: Sun, 11 Aug 2024 23:05:51 +0000 (-0400) Subject: Merge pull request #396 from tjhei/dealii-9.6 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e5a861acc2e359ffb18b41419239de81101c154;p=candi.git Merge pull request #396 from tjhei/dealii-9.6 switch to deal.II 9.6 --- 8e5a861acc2e359ffb18b41419239de81101c154