Subject: [bug#39159] [PATCH] Add Tokei

From: John Soo <[email-masked]>
Date: Mon, 20 Jan 2020 00:49:17 -0800

Thanks Efraim,

> On Jan 19, 2020, at 11:26 PM, Efraim Flashner <[email-masked]> wrote:
> 
> I've been applying the
> packages locally and making small changes where necessary.

I should have said I could make the changes discussed on the coordination thread. Thanks for putting in tv e extra work.

John