[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.3-1-25-gadd517e

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 0f61042f625a3f5dc9dcacdcbabb2a98245ddde1
Merge: 951b40c0cf5660f2e9d93e846d779ae58261809b b9e563975908583701a189e9871ee98c0a8b94e7
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Wed Nov 11 22:13:52 2009 +0100

    Merge branch 'master' of git+ssh://git.debian.org//git/pkg-ocaml-maint/packages/janest-core


-- 
janest-core packaging