doc: add missing pull request number

This adds a missing pull request number to the `repl.md`.
nodejs · Apr 24, 2019 · ff0f181 · ff0f181
1 parent a88700a
commit ff0f181
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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