https://github.com/JuliaLang/julia
Revision 9352d9ebca64a1a8e8f584720af0e7bb1b5a9d23 authored by Simeon Schaub on 24 October 2023, 08:12:30 UTC, committed by GitHub on 24 October 2023, 08:12:30 UTC
This reverts commit ab94a242f6e56438f86a1babab7721db45b7feed.

Ref
https://github.com/JuliaLang/julia/pull/51411#issuecomment-1765402688
fixes https://github.com/JuliaLang/julia/issues/51823
1 parent b197197
Raw File
Tip revision: 9352d9ebca64a1a8e8f584720af0e7bb1b5a9d23 authored by Simeon Schaub on 24 October 2023, 08:12:30 UTC
Revert "clean up identifiers defined in `Main` (#51411)" (#51825)
Tip revision: 9352d9e
VERSION
1.11.0-DEV
back to top