projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 16828d3 3915611)
Update upstream source from tag 'upstream/4.11.1'
authorStephane Glondu <steph@glondu.net>
Thu, 3 Sep 2020 12:53:05 +0000 (14:53 +0200)
committerStéphane Glondu <glondu@debian.org>
Thu, 3 Sep 2020 12:53:05 +0000 (14:53 +0200)
Update to upstream version '4.11.1'
with Debian dir 18488de9d93e9fc62d98bf0d65994acd4c1b76e6


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.