]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12209 from simonsticko/fix_restriction_signed_unsigned
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 15 May 2021 11:39:30 +0000 (13:39 +0200)
committerGitHub <noreply@github.com>
Sat, 15 May 2021 11:39:30 +0000 (13:39 +0200)
commit2ec0a9f3cd0835f762c141009e9ed4f5c4d66aa0
tree458c91c7dab7083fc8aa47c686e920f1e8e4eb40
parent9046f16cf636346585bc9ead2f18f7d26cc07e43
parentd4e3368765faf03fd3a70e4b6c0c389ddb9ec3d1
Merge pull request #12209 from simonsticko/fix_restriction_signed_unsigned

Fix two signed/unsigned comparisons.

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.