[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. f9b466f2855daf9951b6e34e5d0e25b6cd87116a

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit db8f37b9d5689a09f7669676ff513589b8a9adce
Merge: 8a3bbf145731ad3eadc6589dec3ccb5bdbc97129 92f72d24708d0771000481959e61219663a133ed
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sat May 3 21:14:45 2008 +0200

    Merge branch 'byte-opt-split'


-- 
bin-prot packaging