Move the 'error_reporter' config entry in a dedicated 'replayer' section
and improve the documentation of the replayer command.
Description
Description
Details
Details
- Provenance
douardda Authored on Dec 9 2021, 4:53 PM douardda Pushed on Jan 4 2022, 2:54 PM - Differential Revision
- D6818: Move the 'error_reporter' config entry in a dedicated 'replayer' section
- Parents
- rDOBJSRPLfa5dfe038234: Pin mypy and drop type annotations which makes mypy unhappy
- Branches
- Unknown
- Tags
- References
- tag: v0.3.2
- Build Status
Buildable 25799 Build 40316: test-and-build Jenkins console · Jenkins