julia
deef5a96
- deduplicate some already global values in global cache (#52303)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
deduplicate some already global values in global cache (#52303) System image savings is negligible (almost everything in the parameters are already cached datatypes), but seems good enough to have it, since we can
References
#52303 - deduplicate some already global values in global cache
Author
vtjnash
Parents
9374e49f
3c2c5ce2
Loading