diff options
author | jejo86 <28619134+jejo86@users.noreply.github.com> | 2022-06-29 11:24:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-29 10:24:10 +0100 |
commit | cdc02594491b9410f250f0adc4ea6d223aa3de7f (patch) | |
tree | 19f4fae2d18022c692c5acf5d45c9ca21ec78053 /.github | |
parent | Merge branch 'develop' into release-v1.62 (diff) | |
download | synapse-cdc02594491b9410f250f0adc4ea6d223aa3de7f.tar.xz |
Document the `--report-stats` argument (#13029)
Signed-off-by: jejo86 <28619134+jejo86@users.noreply.github.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions