]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17298 from drwells/petsc-vector-serialize-header
authorWolfgang Bangerth <bangerth@colostate.edu>
Sun, 21 Jul 2024 23:53:47 +0000 (17:53 -0600)
committerGitHub <noreply@github.com>
Sun, 21 Jul 2024 23:53:47 +0000 (17:53 -0600)
commit1782d71672d42bd3bae30f365579308fefad94a0
tree9af7eb74df3b3730c64a7dae47d94f373b9928fa
parent3b27860f6457bfc816cf85aa215942e696a1f941
parent6f5915cfb34f330ad9401f12ce05407060b2654f
Merge pull request #17298 from drwells/petsc-vector-serialize-header

PetscWrappers::VectorBase: add a missing header.

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.