projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1657403 0d72a5f)
Update upstream source from tag 'upstream/4.08.0'
authorStephane Glondu <steph@glondu.net>
Wed, 10 Jul 2019 12:50:53 +0000 (14:50 +0200)
committerStephane Glondu <steph@glondu.net>
Wed, 10 Jul 2019 12:50:53 +0000 (14:50 +0200)
Update to upstream version '4.08.0'
with Debian dir 5262782490e5aa1c3027dcc0dfb420ea7c233db0


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