]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9465 from peterrum/consensus_change_type
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 3 Feb 2020 09:50:20 +0000 (10:50 +0100)
committerGitHub <noreply@github.com>
Mon, 3 Feb 2020 09:50:20 +0000 (10:50 +0100)
commitd4ddaec62702d4126e34a432d7a46cab77f8e5c6
tree52bda5cba6f3ff64e0cb621c0d701db9dea42cd7
parent23b7902a12cdfbbf0fb698013066e11a56b3e1c0
parentc0027af29b4fd58c84ea638b57bf0197b718359e
Merge pull request #9465 from peterrum/consensus_change_type

Fix types in ConsensusAlgorithmProcess

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.