From 25058745c7f29b6af027ff042f94b774a3075e60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Thu, 1 Feb 2024 19:54:15 +0100
Subject: [PATCH] Reload refs after upgrade script

---
 src/Serialization/main.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Serialization/main.jl b/src/Serialization/main.jl
index d36fbd1d2081..8e1063abd304 100644
--- a/src/Serialization/main.jl
+++ b/src/Serialization/main.jl
@@ -551,6 +551,9 @@ function load(io::IO; params::Any = nothing, type::Any = nothing,
     jsondict = JSON.parse(json(s.obj), dicttype=Dict{Symbol, Any})
     jsondict = upgrade(file_version, jsondict)
     s.obj = JSON3.read(json(jsondict))
+    if !isnothing(s.refs) && haskey(s.obj, refs_key)
+      s.refs = s.obj[refs_key]
+    end
   end
 
   try