From f63f43974eb77ff51d8cacfee9b26f7541133e44 Mon Sep 17 00:00:00 2001
From: GHTaarn <62629455+GHTaarn@users.noreply.github.com>
Date: Tue, 30 Jul 2024 05:25:47 +0200
Subject: [PATCH] Make TerminalMenus public

---
 stdlib/REPL/src/REPL.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/stdlib/REPL/src/REPL.jl b/stdlib/REPL/src/REPL.jl
index 558f6ed9cab6f..67f5860082c8a 100644
--- a/stdlib/REPL/src/REPL.jl
+++ b/stdlib/REPL/src/REPL.jl
@@ -110,6 +110,8 @@ export
     LineEditREPL,
     StreamREPL
 
+public TerminalMenus
+
 import Base:
     AbstractDisplay,
     display,