From e29dcbb0237f153b16955a14b45427d2c31f1663 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20G=C3=B3rski?= Date: Thu, 12 Jan 2023 02:51:22 +0100 Subject: [PATCH] Replace egrep with grep -E (#1019)