diff -r 04e5dfbd3f3d -r 3586ebd9fac8 DebugClients/Python/coverage/version.py
--- a/DebugClients/Python/coverage/version.py Sat Jul 23 13:33:54 2016 +0200
+++ b/DebugClients/Python/coverage/version.py Sun Jul 24 12:01:01 2016 +0200
@@ -5,7 +5,7 @@
# This file is exec'ed in setup.py, don't import anything!
# Same semantics as sys.version_info.
-version_info = (4, 0, 0, 'final', 0)
+version_info = (4, 1, 0, 'final', 0)
def _make_version(major, minor, micro, releaselevel, serial):
@@ -22,7 +22,7 @@
def _make_url(major, minor, micro, releaselevel, serial):
"""Make the URL people should start at for this version of coverage.py."""
- url = "https://coverage.readthedocs.org"
+ url = "https://coverage.readthedocs.io"
if releaselevel != 'final':
# For pre-releases, use a version-specific URL.
url += "/en/coverage-" + _make_version(major, minor, micro, releaselevel, serial)
