From 20ed97dc3fec0f90d88ee95b0074b284d6dbb879 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 9 Mar 2019 21:45:40 +0000
Subject: [PATCH] output is still identical

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index e793512..9d8aab9 100644
--- a/Makefile
+++ b/Makefile
@@ -14,8 +14,8 @@ USE_PLAG_RELEASE := $(shell ./find-plag \
  release:debug "$(PLAG_DIR)" "$(PLAG_RELEASE)" "$(PLAG_DEBUG)" "$(PLAG)")
 
 # with
-#  plag-mangle    a213b9ab92ec0f020f999f53c25c4996855e0349
-#  rc-dlist-deque 5147fecc626d2b00e3e9cef96baaf5e41a8d8220
+#  plag-mangler   3a1eae4d6395f7d862cf66d0e4a1008d1bedc6e7
+#  rc-dlist-deque 3e19e16dde436fc1ac03534bf502588d17b3faeb
 #  c_vec          3394762a6221c44f8e22b222ce5547f6534129ea
 #  rust-nlopt     d6781621e72bb7a78da56689ab5bb27befafec6a
 #  nlopt (hack)   3068d8b694a6047c4f374b7267a54fdb3fae1f69 2.3+252-g8b3cb5a-1
-- 
2.30.2