On 23/12/17 20:54, Enrico Weigelt, metux IT consult via dev-servo wrote:
I'm using a pretty fresh rustc
I’ve responded in https://github.com/servo/servo/issues/19637. Please pick one of the mailing list or issue tracker for each topic, and avoid duplicating discussions.
-- Simon Sapin _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
