remove the delete! with a comment

JuliaLang · Jan 10, 2025 · 0646715 · 0646715
1 parent b22bef4
commit 0646715
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Operations.jl b/src/Operations.jl
@@ -510,7 +510,9 @@ function resolve_versions!(env::EnvCache, registries::Vector{Registry.RegistryIn
             new_v = vers_fix[uuid]
             compat_map[uuid][old_v] = compat_map[uuid][new_v]
             vers_fix[uuid] = old_v
-            new_v != old_v && delete!(compat_map[uuid], new_v)
+            # Note that we don't delete!(compat_map[uuid], old_v) because we want to keep the compat info around
+            # in case there's JLL version confusion between the sysimage pkgorigins version and manifest
+            # but that issue hasn't been fully specified, so keep it to be cautious
         end
     end
     vers = vers_fix