; Skip commit ab7c40ea52a1db0cfc8b6605363f4e1378c9b471

diff --git a/admin/cherry-skip-list b/admin/cherry-skip-list
index e756a17bdb7766563702f6f6aefd95d0f23476b3..e9ef354d944343de37f0c34e28e39c657d21fb60 100644 (file)
--- a/admin/cherry-skip-list
+++ b/admin/cherry-skip-list
@@ -1003,3 +1003,4 @@ da97096fdbb50bf69348813c960eb8d10b2bdc44
 c9d28a05d98a2c3c0fe89ac37bc143a41b60ea96 Don't merge
 079e5a03156f7461d1c8f008663404277cac9ade Nope
 96f1db89ee7d3696d27a5bf044ada7942e354fda Not the right fix
+ab7c40ea52a1db0cfc8b6605363f4e1378c9b471 Already fixed in a more parsimonious manner