Help committing a new port (ripgrep-all)

From: Alexis Praga <>
Date: Mon, 02 Aug 2021 11:27:32 +0200
Hi everyone,

I've submitted a port for ripgrep-all and it hasn't seen any activity
for the last 3 months.
If a kind soul could look at it, that would be great, thanks !(


Alexis Praga
Received on Mon Aug 02 2021 - 09:27:32 UTC

Original text of this message