Stream: wg-traits

Topic: chalk-engine-v0.8.0


nikomatsakis (Oct 05 2018 at 16:46, on Zulip):

@scalexm almost published chalk-engine v0.8.0... but I messed up a few things :)

nikomatsakis (Oct 05 2018 at 16:46, on Zulip):

cargo is hard

nikomatsakis (Oct 05 2018 at 16:47, on Zulip):

:P

nikomatsakis (Oct 05 2018 at 16:47, on Zulip):

I should not have merged that branch so fast. Got impatient waiting on travis.

nikomatsakis (Oct 05 2018 at 18:59, on Zulip):

OK, https://github.com/rust-lang-nursery/chalk/pull/180 is merged, and chalk-engine v0.8.0 is published — sorry @scalexm it took so long

blitzerr (Oct 05 2018 at 21:49, on Zulip):

:tada::clink:

Last update: Nov 12 2019 at 16:35UTC