From: Daniel Arndt Date: Fri, 4 Nov 2016 14:13:24 +0000 (+0100) Subject: Merge pull request #3449 from drwells/pvs-timer-initialization X-Git-Tag: v8.5.0-rc1~478 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2f861d75a5435d382341df42a6be01ca8e4f66b0;p=dealii.git Merge pull request #3449 from drwells/pvs-timer-initialization Add some missing initializations to Timer. --- 2f861d75a5435d382341df42a6be01ca8e4f66b0