From e104699531a6d069058e8600c814caefac04492c Mon Sep 17 00:00:00 2001
From: Valentin B <38182450+itsVale@users.noreply.github.com>
Date: Tue, 1 Jan 2019 17:46:35 +0100
Subject: [PATCH] Fix invalid documentation link for opentracing.io

---
 docs/source/reference-core.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/reference-core.rst b/docs/source/reference-core.rst
index 50f00c18fc..a76ca154b0 100644
--- a/docs/source/reference-core.rst
+++ b/docs/source/reference-core.rst
@@ -1105,7 +1105,7 @@ identifier, and then include this identifier in each log message:
 
 This way we can see that request 1 was slow: it started before request
 2 but finished afterwards. (You can also get `much fancier
-<http://opentracing.io/documentation/>`__, but this is enough for an
+<https://opentracing.io/docs/>`__, but this is enough for an
 example.)
 
 Now, here's the problem: how does the logging code know what the