diff options
Diffstat (limited to 'gnattools')
-rw-r--r-- | gnattools/ChangeLog | 4 |
1 files changed, 2 insertions, 2 deletions
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. |