The following commit has been merged in the master branch:
commit b5837301c84cb24f4016d157972d055b911ddb1c
Author: Mehdi Dogguy
Date: Sun Oct 2 12:06:22 2011 +0200
Make ocamlopt optional
diff --git a/debian/changelog b/debian/changelog
index 3d6a30d..1b7d13e 100644
--- a/debian/changelog
+
The following commit has been merged in the master branch:
commit 0890a3c8d8baa27959c2caaabc522eedc33d5620
Author: Mehdi Dogguy
Date: Wed Oct 5 09:02:55 2011 +0200
Add some arch-triplets in configure script
diff --git a/debian/changelog b/debian/changelog
index 1b7d13e..f525514 100644
---
The annotated tag, debian/1.0-2 has been created
at edf147538044ad00df485c8cbc9e671c968f4176 (tag)
tagging 801040469f109c6c3cd55ba7a58859d2ae75d3d1 (commit)
replaces debian/1.0-1
tagged by Mehdi Dogguy
on Wed Oct 5 09:04:16 2011 +0200
- Shortlog -
The following commit has been merged in the master branch:
commit 801040469f109c6c3cd55ba7a58859d2ae75d3d1
Author: Mehdi Dogguy
Date: Wed Oct 5 09:04:01 2011 +0200
Release to experimental
diff --git a/debian/changelog b/debian/changelog
index f525514..c7fe80f 100644
--- a/debian/changelog
4 matches
Mail list logo