julia
c67d810b
- Declare `level` type for `default_metafmt` (#37843)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
Declare `level` type for `default_metafmt` (#37843) Makes `@nospecialize` use precisely `LogLevel` instead of `Any`.
References
#37843 - Declare `level` type for `default_metafmt`
Author
omus
Parents
9c62c323
Loading