From: Rene Gassmoeller Date: Wed, 19 Feb 2025 09:58:06 +0000 (-0800) Subject: Merge pull request #18074 from marcfehling/docker-jammy X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=819be6df9f7d68b4ef40a76001a6ab2b80892776;p=dealii.git Merge pull request #18074 from marcfehling/docker-jammy github-docker: disable focal image. --- 819be6df9f7d68b4ef40a76001a6ab2b80892776