Re: [PATCH] gnu: rustc: Update to 1.14.0.

Thu, 29 Dec 2016 03:41:19 -0800 

Thanks! Pushed as b9542563375fbd5f25bb77fd476b762916b63bd1.

Reply via email to