]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix name of change-log entry 13342/head
authorPeter Munch <peterrmuench@gmail.com>
Sun, 6 Feb 2022 06:55:30 +0000 (07:55 +0100)
committerPeter Munch <peterrmuench@gmail.com>
Sun, 6 Feb 2022 06:55:30 +0000 (07:55 +0100)
doc/news/changes/minor/20220105SimonStickoJean-PaulPelteret [moved from doc/news/changes/minor/2022010531SimonStickoJean-PaulPelteret with 100% similarity]


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.