From 229d0854e014e3def21fffd3f37d337326c8e6f1 Mon Sep 17 00:00:00 2001
From: Dylan Baker <dylan@pnwbakers.com>
Date: Thu, 30 Aug 2018 08:31:12 -0700
Subject: [PATCH] cherry-ignore: Add patch that doesn't apply to 18.1

---
 bin/.cherry-ignore | 4 ++++
 1 file changed, 4 insertions(+)

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