Stream: t-compiler/wg-learning

Topic: #521


mark-i-m (Dec 28 2019 at 23:03, on Zulip):

Does anyone know why the CI is failing this PR?

mark-i-m (Dec 28 2019 at 23:04, on Zulip):

We should get it merged soon

mark-i-m (Dec 28 2019 at 23:04, on Zulip):

In the worst case, one of us just re-opens the PR ourselves...

Yuki Okushi (Dec 29 2019 at 10:36, on Zulip):

I figured out it, added my review.

Last update: Apr 05 2020 at 01:25UTC