diff --git a/bin/.cherry-ignore b/bin/.cherry-ignore
index 3a40ff316b6..7138f893168 100644
--- a/bin/.cherry-ignore
+++ b/bin/.cherry-ignore
@@ -86,3 +86,7 @@ c92a463d2341dd7893dd8b54775930ed9be72ac0
 # ignored
 #
 1e40f6948310be07abb2d0198e6602769892cdac
+
+# This patch isn't necessary, since the patch it fixes is not present in 18.1
+#
+a72dbc461bdb7714656e62cd8f4b00a404c2e6e0