]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13774 from marcfehling/dependabot
authorLuca Heltai <luca.heltai@sissa.it>
Sun, 22 May 2022 17:34:32 +0000 (19:34 +0200)
committerGitHub <noreply@github.com>
Sun, 22 May 2022 17:34:32 +0000 (19:34 +0200)
commita56c2ee2e15b54833bcdd02162a620285e84d56c
treefb943f1023ead22859d3c29816d222254cb9aace
parentd2d20fe3ca3a1390420c51420307a3ef680c503c
parented4eeea84b5413cb99d60ab06c1e15ab0d005900
Merge pull request #13774 from marcfehling/dependabot

Added dependabot for github-actions.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.