[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, experimental/master, updated. debian/107.01-5-21-g3880431

The following commit has been merged in the experimental/master branch: commit 86a1f935f4ff944c09a1a788294698dd051e21d0 Author: Lifeng Sun Date: Sat Jul 27 21:28:03 2013 +0800 enable tests. diff --git a/debian/TODO b/debian/TODO index 9c463d9..a6e7cd3 100644 --- a/debian/TODO +++ b/debian/

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, experimental/master, updated. debian/107.01-5-21-g3880431

The following commit has been merged in the experimental/master branch: commit 38804314de48793a63d2a6b93bea6afbe830d9c9 Author: Lifeng Sun Date: Sun Jul 28 15:41:20 2013 +0800 Fix time test. diff --git a/debian/changelog b/debian/changelog index a82832d..f0b0ccf 100644 --- a/debian/changel