diff --git a/peps/pep-0800.rst b/peps/pep-0800.rst
index 5c13bbbdd2e..5809b45e2e3 100644
--- a/peps/pep-0800.rst
+++ b/peps/pep-0800.rst
@@ -371,10 +371,12 @@ explain to users why type checkers treat certain branches as unreachable.
 Reference Implementation
 ========================
 
-The runtime implementation of the ``@disjoint_base`` decorator will be available in
-typing-extensions 4.15.0.
+The runtime implementation of the ``@disjoint_base`` decorator is available in
+`typing-extensions 4.15.0 <https://pypi.org/project/typing-extensions/4.15.0/>`__.
 `python/mypy#19678 <https://github.com/python/mypy/pull/19678>`__
 implements support for disjoint bases in mypy and in the stubtest tool.
+`astral-sh/ruff#20084 <https://github.com/astral-sh/ruff/pull/20084>`__
+implements support for disjoint bases in the ty type checker.
 
 Appendix
 ========