]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7047 from masterleinad/subscriptor_decrease_counters
authorTimo Heister <timo.heister@gmail.com>
Sun, 12 Aug 2018 15:14:32 +0000 (17:14 +0200)
committerGitHub <noreply@github.com>
Sun, 12 Aug 2018 15:14:32 +0000 (17:14 +0200)
commit175ceb493877b6b57c046ecc5214e5eca88e4599
tree3d8dfae0c17a30bdde2897b977f0df613c9b7df0
parente745baeea6f011ba6423e81c7ddada27f5682e8f
parent7a5702cb4bb27a4bddb350f1f5d6cc80ed9ed206
Merge pull request #7047 from masterleinad/subscriptor_decrease_counters

Decrement counters in Subscriptor only upon success

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.