diff options
Diffstat (limited to 'libs/gmp/HISTORY')
-rw-r--r-- | libs/gmp/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/gmp/HISTORY b/libs/gmp/HISTORY index c0cdebdbd3..6ffde31185 100644 --- a/libs/gmp/HISTORY +++ b/libs/gmp/HISTORY @@ -1,3 +1,6 @@ +2013-02-15 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: 5.1.1 (devel) + 2012-05-10 Ladislav Hagara <hgr@vabo.cz> * DETAILS: 5.0.5 (devel) |