CVS commit: pkgsrc/doc

["Antoine Reilles" <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sun Oct  9 06:47:13 UTC 2022

Modified Files:
        pkgsrc/doc: CHANGES-2022

Log Message:
doc: Updated devel/why3 to 1.5.1nb1


To generate a diff of this commit:
cvs rdiff -u -r1.4908 -r1.4909 pkgsrc/doc/CHANGES-2022

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-2022
diff -u pkgsrc/doc/CHANGES-2022:1.4908 pkgsrc/doc/CHANGES-2022:1.4909
--- pkgsrc/doc/CHANGES-2022:1.4908      Sun Oct  9 02:40:48 2022
+++ pkgsrc/doc/CHANGES-2022     Sun Oct  9 06:47:13 2022
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.4908 2022/10/09 02:40:48 ryoon Exp $
+$NetBSD: CHANGES-2022,v 1.4909 2022/10/09 06:47:13 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -7440,3 +7440,4 @@ Changes to the packages collection and i
        Updated cross/mingw-w64-x86_64-headers to 10.0.0 [ryoon 2022-10-09]
        Updated cross/mingw-w64-x86_64-winpthreads to 10.0.0 [ryoon 2022-10-09]
        Updated cross/mingw-w64 to 10.0.0 [ryoon 2022-10-09]
+       Updated devel/why3 to 1.5.1nb1 [tonio 2022-10-09]