projects / ocaml.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f2b31c9 c05307b)
Merge commit 'upstream/3.12.1'
authorStephane Glondu <steph@glondu.net>
Tue, 5 Jul 2011 19:28:17 +0000 (21:28 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 5 Jul 2011 19:28:17 +0000 (21:28 +0200)

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