Re: [dev-servo] Request for student team project proposals.

2017-10-20 Thread Marcin Mielniczuk
Some of our team members noticed that a part of the mail is treated as a quote and, thus, not displayed. If you don't see a paragraph starting with "We talked with...", then it's probably wrapped as a quote. Looks like a gmail bug; in Thunderbird it all looks ok. On 19.10.2017 10:02, Artur Jamro

Re: [dev-servo] RFC: Require Python 2.7.9+ (for TLS Server Name Indication)

2017-10-20 Thread Simon Sapin
On 19/10/2017 17:40, Gregory Szorc wrote: CERTIFICATE_VERIFY_FAILED likely means there is no trust chain on the client for the server x509 certificate. My guess is the Amazon root CA isn't in the trusted root CA certificates list on that Windows builder. You can verify this by temporarily disabli

Re: [dev-servo] Bootstrap is broken for old Servo versions. How much should we do about it?

2017-10-20 Thread Simon Sapin
On 18/10/2017 23:26, Simon Sapin wrote: Anyway, some of the affected commits have a rust-toolchain or rust-nightly-date file that contains a date. You can then run something like `rustup override set nightly-2017-10-13` to get that version and tell rustup to use it when under the current director