[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38640] [PATCH] Add ripgrep and many rust dependencies
|
From: |
John Soo |
|
Subject: |
[bug#38640] [PATCH] Add ripgrep and many rust dependencies |
|
Date: |
Tue, 31 Dec 2019 15:49:31 +0000 |
Thanks for the heads up, Efraim!
On Tue, Dec 31, 2019 at 8:57 AM Efraim Flashner <address@hidden> wrote:
>
> This is a lot of patches, so I wanted to give a heads up that I'm
> working on them currently.
Thank you for working on them.
- John
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, (continued)
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, Martin Becze, 2019/12/16
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, John Soo, 2019/12/17
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, Efraim Flashner, 2019/12/19
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, John Soo, 2019/12/20
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, John Soo, 2019/12/20
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies, Efraim Flashner, 2019/12/31
- [bug#38640] [PATCH] Add ripgrep and many rust dependencies,
John Soo <=