]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8168 from drwells/unify-subscriptor-log
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 14 May 2019 15:35:12 +0000 (17:35 +0200)
committerGitHub <noreply@github.com>
Tue, 14 May 2019 15:35:12 +0000 (17:35 +0200)
commit8911e1f5c94bd6b5ab90c8a50e5856945fec2c99
tree71923afba0c30db85de803d943012c5f5dd42a51
parent2635d037e67359300fd49fce7ff2d8562e0fe401
parentcf46e4f0cdf9e95e9ad94073c6b042e863dc9a6a
Merge pull request #8168 from drwells/unify-subscriptor-log

Unify the log entry for Subscriptor.

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.