requirements: Switch to released coverage fix.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2023-05-29 13:13:35 -07:00
committed by Tim Abbott
parent 7a5d3e164e
commit 6ca8e853df
3 changed files with 63 additions and 4 deletions

View File

@@ -48,4 +48,4 @@ API_FEATURE_LEVEL = 184
# historical commits sharing the same major version, in which case a
# minor version bump suffices.
PROVISION_VERSION = (242, 0)
PROVISION_VERSION = (242, 1)