The following commit has been merged in the master branch:
commit de78b895df889889714b04b205aa07ac15eb46c9
Author: Sylvain Le Gall gil...@debian.org
Date: Mon Jun 6 19:53:53 2011 +
Scan www.janestreet.com for new version
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit bc5904002209710dc40f5bf8c3d4e87e9e533cef
Merge: de78b895df889889714b04b205aa07ac15eb46c9
f244c2bd3be12e480715c62a4276de108ee4f003
Author: Sylvain Le Gall gil...@debian.org
Date: Mon Jun 6 19:55:51 2011 +
Merge branch
The following commit has been merged in the master branch:
commit 86af660abb8fe701a85ae0b4168753ebec371740
Author: Sylvain Le Gall gil...@debian.org
Date: Mon Jun 6 20:22:54 2011 +
Switch do dh7 build system
diff --git a/debian/changelog b/debian/changelog
index 5853a38..b93f80a 100644
3 matches
Mail list logo
