[Pkg-ocaml-maint-commits] [SCM] core packaging branch, master, updated. 73564fbea95ad8dafbfcbf4be75f253dd37983bf

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 73564fbea95ad8dafbfcbf4be75f253dd37983bf
Merge: b8f2462fac28be994600d355b4c885c419fec5a9 3a67ba982e40cfb2c2a3283275d42a9e0849acaf
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sat May 3 22:39:44 2008 +0200

    Merge branch 'byte-opt-split'


-- 
core packaging