Stream: t-libs

Topic: #68199


Yuki Okushi (Jan 19 2020 at 22:34, on Zulip):

could anyone review this PR #68199? Seems scottmcm is busy

simulacrum (Jan 19 2020 at 23:23, on Zulip):

re-assigned for specialization soundness review

Yuki Okushi (Jan 19 2020 at 23:28, on Zulip):

thanks!

Last update: Feb 25 2020 at 04:10UTC