dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #19504
Bug in dolfin::Logger::timing: reset parameter has no effect
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
The parameter "reset" to "dolfin::Logger::timing" has no effect, the
timing is always cleared. Didn't want to file a bug for such a small thing.
Florian
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.12 (MingW32)
iEYEARECAAYFAkx+T7gACgkQ8Z6llsctAxZibQCdEEi477cNW/8wzBOh6FWt2Hd4
hN8An1vwduwaK8aI4uYGkmNxEcG/PAoZ
=eY58
-----END PGP SIGNATURE-----
Attachment:
smime.p7s
Description: S/MIME Cryptographic Signature
Follow ups