]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15348 from bangerth/conversion
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Thu, 15 Jun 2023 18:22:15 +0000 (20:22 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Jun 2023 18:22:15 +0000 (20:22 +0200)
commitba6c84cfdf9a0aaa3b1f8f637e538ec2fe207d2c
treee6d5f18dce14bbb65b864547764ec3ebb2b8b302
parente1f4330ea6a0ed5cffc1bf94ba5e067437f09c4d
parent4e27e9bf747d1009323731cf51b058eb8a641425
Merge pull request #15348 from bangerth/conversion

Make sure a conversion is safe.
source/lac/petsc_vector_base.cc

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.