diff options
| -rw-r--r-- | doc/CHANGES-2013 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES-2013 b/doc/CHANGES-2013 index 64ee1e64a21..c2f8fdcc7af 100644 --- a/doc/CHANGES-2013 +++ b/doc/CHANGES-2013 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2013,v 1.1418 2013/04/20 08:08:47 adam Exp $ +$NetBSD: CHANGES-2013,v 1.1419 2013/04/20 08:22:11 jaapb Exp $ Changes to the packages collection and infrastructure in 2013: @@ -2216,3 +2216,4 @@ Changes to the packages collection and infrastructure in 2013: Updated databases/mysql55-server to 5.5.31 [adam 2013-04-20] Updated databases/mysql56-client to 5.6.11 [adam 2013-04-20] Updated databases/mysql56-server to 5.6.11 [adam 2013-04-20] + Updated lang/coq to 8.4pl2 [jaapb 2013-04-20] |