diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gnattools/ChangeLog | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1daf1e4..228fb00 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 a2dbb2f..7039b83 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. |