Morten Piibeleht
Morten Piibeleht
I noticed it currently comes from jsdelivr, but it would be nice if we'd have them all on one CDN. A starting point would probably to open a library request...
Getting this error with diffutils_jll 3.10 and 3.8. 3.7, interestingly, is fine. And so are the other binaries from the diffutils_jll (`diff3`, `sdiff` and `cmp`): ``` julia> run(`$(diffutils_jll._diff()) -v`) Inconsistency...
I don't want to merge this right away (since we just tagged a new feature), but keeping this as a note to self that we should do this before merging...
Fix #2560. Also bumping to 1.6.1 immediately.
Allow some docs to be marked as "rehosted". This would: 1. Add a `noindex` tag to all of the pages, so that the rehosted pages wouldn't show up on Google...