Subject: Re: When to add rust packages?

From: John Soo <[email-masked]>
Date: Mon, 16 Dec 2019 12:50:06 -0800

Hi all,

I submitted my patches this morning in #38640.  Thanks for the continued work on the rust build system.  I like rust tools quite a lot.

- John