1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 0b8c5110ed..48112a9ba5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2012-11-16  Pino Toscano  <toscano.pino@tiscali.it>
+
+	* scripts/check-local-headers.sh: Ignore 'mach' headers.
+
 2012-11-16  Andrej Lajovic  <natrij@gmail.com>
 
 	[BZ #14672]