Closed fingolfin closed 2 months ago
https://github.com/JuliaLang/IJulia.jl/pull/1104 also fixes the badge :smile:
Sorry, didn't see that. But neither PR has been merged :-(
Fixed by #1104
https://github.com/JuliaLang/IJulia.jl/pull/1104 also fixes the badge :smile: