Matt, (n.b. the message on GitHub is a bcc: of one I've sent to racket users)
Sorry, I got diverted to other more “urgent” things (he who pays the piper...). That's why I took so long finishing the job; and rushing at the end, why I left garbage like net/url-proxy in the commit. So THANK YOU VERY MUCH for doing all that tidying up. Re the squashing... I assumed that those incremental pushes (each of which I considered to be a worthy candidate for the enhancement) which you guys commented on were not for squashing, since they'd already been committed and pushed to GitHub. FYI this is the first step in an attempt to get racket to install through an http proxy. And I'll be revisiting net/url-proxy and friends with an http “CONNECT” tunnel soon. Thanks again, Tim On 20 November 2015 03:11:30 GMT+00:00, Matthew Flatt <notificati...@github.com> wrote: >Merged. I squashed the commits and made adjustments to the docs; >hopefully I didn't mangle anything, but please check. Thanks! > >--- >Reply to this email directly or view it on GitHub: >https://github.com/racket/racket/pull/1089#issuecomment-158266404 -- Sent from my Android device with K-9 Mail. Please excuse my brevity. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
