diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-06-08 17:21:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-08 15:21:45 +0000 |
commit | 6b7e493bb78c86876e51e2e706bdeb4d33958798 (patch) | |
tree | 681eec07063dff4b6fdcfd7a1980cf91e65b6a6a /docs | |
parent | 52f02c087ca45a65c1e483faab32ac2078106aa0 (diff) |
Fix statistics option handler (#6703)
This PR fixes a typo in the option handler for the statistics options, which lead to options not properly propagating.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions