The following commit has been merged in the master branch:
commit 4574a820f8f36dba67b3d7ef3e7df6a803db7100
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 10 04:24:42 2012 +0100
dom-safe-pull: fail when feching fails (Close: #659244)
diff --git a/tools/dom-safe-pull
The following commit has been merged in the master branch:
commit 712e74dd7dd42d083a0605caed3d64ece787a6ae
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 10 04:31:20 2012 +0100
Fix what looks like a typo...
diff --git a/debhelper/dh_ocamldoc b/debhelper/dh_ocamldoc
index
The following commit has been merged in the master branch:
commit cc45cf8c99e93c13c1a88afab1fcaf90ab13c6ed
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 10 04:30:36 2012 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index
3 matches
Mail list logo
