Stream: t-compiler/wg-learning

Topic: toolstate update

mark-i-m (Mar 17 2020 at 19:56, on Zulip):

I figure we can discuss this not in the meeting...

@Santiago Pastorino What's the status of

mark-i-m (Mar 17 2020 at 19:57, on Zulip):

Should we close it? I don't mind looking after toolstate to try to fix it

Santiago Pastorino (Mar 17 2020 at 20:04, on Zulip):

I guess that's on @Pietro Albini

Last update: Apr 03 2020 at 17:40UTC