diff --git a/hold-for-merge b/hold-for-merge
index f79c25ce3..3fa712197 100644
--- a/hold-for-merge
+++ b/hold-for-merge
@@ -6,6 +6,7 @@
 
 # Everyting below this line is OBE
 
+/personal/rjs/7.45.1.dev0@19962 # Mangled commit
 /personal/rjs/7.39.1.dev1@19554 # Optimization wasn't measured correctly
 /personal/rjs/7.36.1.dev0@19318 # Folded this into r19336
 /personal/rjs/7.36.1.dev0@19302 # Handled this in an earlier merge