diff --git a/formatting-revs.txt b/formatting-revs.txt
index c79490094..cf0ed5e18 100644
--- a/formatting-revs.txt
+++ b/formatting-revs.txt
@@ -11,3 +11,4 @@ d4da82f977abb34cd0ed9a77e707b4c42f26673d
 3be8a592e52a03e555b6aa29a8dea529797bb645
 01edaec628ec325d47d74a667ccaa2aed43f30c9
 a69dc599a99ef7393985e96a98c80f8217f66998
+17402cc43fdf51c8cb81b724228f11c423d17007