From 28552ae45ddc7b9b89f510524a983228b26ae7f7 Mon Sep 17 00:00:00 2001
From: Jakob Nybo Nissen <jakobnybonissen@gmail.com>
Date: Wed, 10 Jul 2024 17:20:55 +0200
Subject: [PATCH] Mark ScopedValue, with and @with as public

This is exported from the ScopedValues module into Base, but not exported
from Base, and therefore not marked as public.
---
 base/public.jl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/base/public.jl b/base/public.jl
index 460d3bc536383..93a20c844b11c 100644
--- a/base/public.jl
+++ b/base/public.jl
@@ -86,6 +86,7 @@ public
     @constprop,
     @locals,
     @propagate_inbounds,
+    @with,
 
 # External processes
     shell_escape,
@@ -109,6 +110,10 @@ public
     reseteof,
     link_pipe!,
 
+# Scoped values
+    ScopedValue,
+    with,
+
 # misc
     notnothing,
     runtests,