From: Marc Fehling <mafehling.git@gmail.com>
Date: Tue, 26 Sep 2023 19:13:32 +0000 (-0600)
Subject: Merge pull request #16047 from marcfehling/docker
X-Git-Tag: relicensing~466
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ce698b20e29be77229eab9c14a422ec501bfaf9;p=dealii.git

Merge pull request #16047 from marcfehling/docker

Docker: Fix driver field.
---

1ce698b20e29be77229eab9c14a422ec501bfaf9