The following commit has been merged in the master branch:
commit a7084d7f91ec040dc574a7c47d5604af40fc1482
Author: Stephane Glondu
Date: Fri Jul 26 09:42:33 2013 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
index 50718fa..869c8e
The following commit has been merged in the master branch:
commit 1336e900bb5698921c4aa8aba971fe88c54f2763
Author: Stephane Glondu
Date: Fri Jul 26 09:42:22 2013 +0200
Compile with OCaml >= 4
diff --git a/debian/control b/debian/control
index 5fbb971..4076f29 100644
--- a/debian/control
++
2 matches
Mail list logo