The following commit has been merged in the master branch:
commit 53f6fdd64a90acdb45ecab32fb6a517c041168b0
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:19:54 2013 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 3a7df00..1e6a839 100644
---
The following commit has been merged in the master branch:
commit 6560e92143be5dede7b757dfe1bf6d3cabc1b992
Merge: 7bebf24260a40301879b917b81780b8d9b92afbb
ab3608493982b4dce98bc5bb8dbc8dae70986795
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:19:29 2013 +0200
Merge tag
The following commit has been merged in the master branch:
commit e446b141b9c69e411b61ee1c08d275b9fbc9ddc3
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:21:18 2013 +0200
Refresh patches
diff --git
a/debian/patches/0001-prefix-binary-names-with-ocaml-and-do-not-install-us.patch
The following commit has been merged in the master branch:
commit 54a29de234e8835c50a19074515691cdea73aa0b
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:26:54 2013 +0200
Update debian/copyright
diff --git a/debian/changelog b/debian/changelog
index 1e6a839..96d0b0d 100644
---
4 matches
Mail list logo