From 44a146a6fc3cc5311c2dd585e66d34006e539d38 Mon Sep 17 00:00:00 2001 From: Igor Gnatenko Date: Sat, 4 Aug 2018 16:09:32 +0200 Subject: [PATCH] Rebuild to pick up ripgrep 0.9.0 Signed-off-by: Igor Gnatenko