[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. 0fd10a60b774ffe0e4d91e4decd2d3b16c6cc341

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 893e5e20c4c3346439fc6327075e93038c78f62d
Merge: ffeacd4e9f402e7ab42eb2f44c2c540fea9045dc 89b641ed865c88b516490434352a74a958ac1231
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Aug 7 19:07:48 2008 -0300

    Merge branch 'feature/make-targets'


-- 
pkglab packaging