projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8b62d84 6ecc7f1)
Merge ocaml (4.02.3-10) import into refs/heads/workingbranch
authorStéphane Glondu <glondu@debian.org>
Thu, 13 Jul 2017 02:40:57 +0000 (03:40 +0100)
committerStéphane Glondu <glondu@debian.org>
Thu, 13 Jul 2017 02:40:57 +0000 (03:40 +0100)

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