Closed applecuckoo closed 1 month ago
@justvanrossum Hi! Just following up on this PR here since it's been sitting untouched for over a year now. It's old but it still hasn't been merged. It seems relatively minor, but a bug is still a bug 🐞
I don't know anything about this part of the project, and how those hosted files are kept up-to-date.
That said, the PR seems to just fix https vs http, so could perhaps just be morged? What do you say, @djrrb?
Oops @applecuckoo sorry for letting this slip! Merging now
@djrrb @justvanrossum Links to the fonts weren't working, so I fixed them by adding
https:
to the start.