TimingsCommand: do not enable timings if they are already enabled

Browse Source

this causes timings to be reset, which is potentially undesirable (loss of already-collected timing data).
closes #4194

...

This commit is contained in:

Dylan K. Taylor

2021-04-27 22:39:13 +01:00

parent 8a3df1212a

commit 2bc0f9f7a2

2 changed files with 5 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

2

resources/locale

Submodule resources/locale updated: 3d1c70b9f3...ca7fecaf24