]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13453 from bangerth/warning
authorMarc Fehling <mafehling.git@gmail.com>
Sat, 26 Feb 2022 05:10:49 +0000 (22:10 -0700)
committerGitHub <noreply@github.com>
Sat, 26 Feb 2022 05:10:49 +0000 (22:10 -0700)
commitb3da337db0b14ccde1a5a0fdd0bebb177b688492
tree19fb25f7f373880a5d77f95c2d6fd40981e18fcf
parent02034da320e8ea308726f4552cb9d06678319308
parent9a5d9a38e4323a283888734ce347f6a1facd0b89
Merge pull request #13453 from bangerth/warning

Avoid a warning about comparison of differently sized integers.

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.