diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1daf1e4329d7fc851ea7e013a08eb7fc3aaaa604..228fb0006baf24db55230267eff7cde32fcdfdc4 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,5 @@
-2013-12-13  Eric Botcazou  <ebotcazou@adacore.com>
-	    Iain Sandoe <iain@codesourcery.com>
+2013-12-12  Eric Botcazou  <ebotcazou@adacore.com>
+	    Iain Sandoe  <iain@codesourcery.com>
 
 	PR ada/55946
 	* gcc-interface/Make-lang.in (ada/doctools/xgnatugn): Use gnatmake.
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index a2dbb2f21ab7587b8b6e39a8730ed56c5b1e0afd..7039b834ba23f5352f452bcd1535d68d389b067a 100644
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,5 +1,5 @@
-2013-12-13  Eric Botcazou  <ebotcazou@adacore.com>
-	    Iain Sandoe <iain@codesourcery.com>
+2013-12-12  Eric Botcazou  <ebotcazou@adacore.com>
+	    Iain Sandoe  <iain@codesourcery.com>
 
 	PR ada/55946
 	* Makefile.in (host): Define.