]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11651 from luca-heltai/cancel-redundant-workflows-3
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 29 Jan 2021 10:24:18 +0000 (11:24 +0100)
committerGitHub <noreply@github.com>
Fri, 29 Jan 2021 10:24:18 +0000 (11:24 +0100)
commita7ff3fceaeb8ecc0ef7f7773e4402e0c5a2bfdfd
treeb8e6ad51ebb2bfbd810b40895022f4a2af6b63e4
parente16d163fa70bc82f3ea1fde66e8f42502d659898
parent63880f9f313e1240917c6b680d697a5b9bfc31da
Merge pull request #11651 from luca-heltai/cancel-redundant-workflows-3

Third attempt.

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.