From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 2 Jun 2022 23:50:27 +0000 (-0400)
Subject: Merge pull request #296 from gfcas/bump_checkout
X-Git-Tag: v9.4.0-r1~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a9aa6f115b8916e08871deb860b33081b1312d95;p=candi.git

Merge pull request #296 from gfcas/bump_checkout

Bump github actions/checkout@v3
---

a9aa6f115b8916e08871deb860b33081b1312d95