diff --git a/.skipped-commit-ids b/.skipped-commit-ids
index 0d68337..b94cadf 100644
--- a/.skipped-commit-ids
+++ b/.skipped-commit-ids
@@ -3,6 +3,7 @@
 f2c9feb26963615c4fece921906cf72e248b61ee	more Makefile
 fa728823ba21c4b45212750e1d3a4b2086fd1a62	more Makefile refactoring
 1de0e85522051eb2ffa00437e1885e9d7b3e0c2e	moduli update
+814b2f670df75759e1581ecef530980b2b3d7e0f	remove redundant make defs
 
 Old upstream tree: