From ff0f181386f1e912a62e44b7f555a0e5ee9bd6c5 Mon Sep 17 00:00:00 2001
From: Ruben Bridgewater <ruben@bridgewater.de>
Date: Sun, 21 Apr 2019 21:51:44 +0200
Subject: [PATCH] doc: add missing pull request number

This adds a missing pull request number to the `repl.md`.
---
 doc/api/repl.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/api/repl.md b/doc/api/repl.md
index b4ee0b7bdbbbbc..e0ec27b7e3bada 100644
--- a/doc/api/repl.md
+++ b/doc/api/repl.md
@@ -480,7 +480,7 @@ with REPL instances programmatically.
 added: v0.1.91
 changes:
   - version: v12.0.0
-    pr-url: https://github.com/nodejs/node/pull/v12.0.0
+    pr-url: https://github.com/nodejs/node/pull/26518
     description: The `terminal` option now follows the default description in
                  all cases and `useColors` checks `hasColors()` if available.
   - version: v10.0.0