CVS commit: pkgsrc/doc

["Jaap Boender" <jaapb%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Thu May 23 10:55:20 UTC 2019

Modified Files:
        pkgsrc/doc: CHANGES-2019

Log Message:
doc: Updated lang/coq to 8.9.1


To generate a diff of this commit:
cvs rdiff -u -r1.2241 -r1.2242 pkgsrc/doc/CHANGES-2019

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/doc/CHANGES-2019
diff -u pkgsrc/doc/CHANGES-2019:1.2241 pkgsrc/doc/CHANGES-2019:1.2242
--- pkgsrc/doc/CHANGES-2019:1.2241      Thu May 23 08:15:26 2019
+++ pkgsrc/doc/CHANGES-2019     Thu May 23 10:55:19 2019
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.2241 2019/05/23 08:15:26 adam Exp $
+$NetBSD: CHANGES-2019,v 1.2242 2019/05/23 10:55:19 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -3822,3 +3822,4 @@ Changes to the packages collection and i
        Updated sysutils/xfce4-thunar to 1.8.6 [gutteridge 2019-05-23]
        Updated x11/xfce4-desktop to 4.13.4 [gutteridge 2019-05-23]
        Updated net/wireshark to 3.0.2 [adam 2019-05-23]
+       Updated lang/coq to 8.9.1 [jaapb 2019-05-23]