Stream: wg-traits

Topic: #56384 chalk integration PR


nikomatsakis (Dec 06 2018 at 16:06, on Zulip):

So @scalexm is #56384 ready to land?

scalexm (Dec 06 2018 at 16:07, on Zulip):

@nikomatsakis I guess so, although there are many follow-up items :) we’ll need to open issues for those

Last update: Nov 18 2019 at 01:30UTC