[pkgsrc/trunk]: pkgsrc/doc doc: Updated devel/ocaml-core to 0.12.3

[jaapb <jaapb%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0d3040300c76
branches:  trunk
changeset: 397624:0d3040300c76
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Mon Jul 01 12:39:19 2019 +0000

description:
doc: Updated devel/ocaml-core to 0.12.3

diffstat:

 doc/CHANGES-2019 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r c268ecdf4971 -r 0d3040300c76 doc/CHANGES-2019
--- a/doc/CHANGES-2019  Mon Jul 01 12:39:05 2019 +0000
+++ b/doc/CHANGES-2019  Mon Jul 01 12:39:19 2019 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.2720 2019/07/01 12:39:05 jaapb Exp $
+$NetBSD: CHANGES-2019,v 1.2721 2019/07/01 12:39:19 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -4492,3 +4492,4 @@
        Updated www/py-test-django to 3.5.1 [adam 2019-07-01]
        Removed audio/openal successor audio/openal-soft [nia 2019-07-01]
        Updated devel/ocaml-checkseum to 0.1.0 [jaapb 2019-07-01]
+       Updated devel/ocaml-core to 0.12.3 [jaapb 2019-07-01]