James Bornholt ac41c8a361 Make get-pure-port redirection case-insensitive ... GitHub's CDN seems to have recently started returning the `Location` header for a redirect with a lowercase `l`, which breaks the redirect logic. The HTTP spec says that header names are case-insensitive, so we need to look for either version.		2020-02-25 13:38:44 -05:00
..
collects	Make get-pure-port redirection case-insensitive	2020-02-25 13:38:44 -05:00
src	cs: constrain register-process-global to intended behavior	2020-02-24 07:23:59 -07:00
.gitignore	internal hooks to build "Racket.exe" without "libracket3m.dll"	2015-03-28 09:50:01 -06:00