The following commit has been merged in the master branch:
commit 11b6f039b6e1d7c78a7abba708705c55d78ef7a4
Author: Stephane Glondu st...@glondu.net
Date: Thu Jun 18 10:30:36 2009 +0200
Update Standards-Version to 3.8.2
diff --git a/debian/changelog b/debian/changelog
index af34ec4..1c59735
The following commit has been merged in the master branch:
commit 638c19ae716eec2edd4cfa3d8d580f43c1f56bce
Author: Guillaume Yziquel guillaume.yziq...@citycable.ch
Date: Thu Jun 18 11:00:42 2009 +0200
Keeping only the .cmo for the syntax extension.
diff --git
The following commit has been merged in the master branch:
commit 5fd52225dbb33c5896195089f479b1a4eda42df0
Merge: 23a58ca39690c7731caec37951ab04426030163e
8bc8405f3aeca38627753390b06cd4e66f3d5bac
Author: Romain Beauxis to...@rastageeks.org
Date: Thu Jun 18 18:22:51 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit 89bd337dc4cf726a131bed093c73ab1e1039de2a
Author: Romain Beauxis to...@rastageeks.org
Date: Thu Jun 18 18:27:18 2009 +0200
Changed section to ocaml
diff --git a/debian/changelog b/debian/changelog
index 6d168c7..db9f0f8
The following commit has been merged in the master branch:
commit 508d3f4c675a0ab2abe73450c9e10ea70ee27396
Author: Romain Beauxis to...@rastageeks.org
Date: Thu Jun 18 18:31:44 2009 +0200
Bumped standards version to 3.8.2.0
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit c05f1c83d55b220a7b76467746f617348a3d4556
Author: Romain Beauxis to...@rastageeks.org
Date: Thu Jun 18 18:23:36 2009 +0200
Prepared new package.
diff --git a/debian/changelog b/debian/changelog
index 4f5343e..6d168c7 100644
The following commit has been merged in the pristine-tar branch:
commit 54c80b7749fddd5ce7f546fce264764b054d64c6
Author: Romain Beauxis to...@rastageeks.org
Date: Thu Jun 18 18:22:51 2009 +0200
pristine-tar data for ocaml-duppy_0.3.0.orig.tar.gz
diff --git
The following commit has been merged in the master branch:
commit 636034337d07e6530dd9a31295a196fc127bf98b
Author: Stephane Glondu st...@glondu.net
Date: Thu Jun 18 19:07:09 2009 +0200
Add dom-safe-pull
diff --git a/debian/changelog b/debian/changelog
index 5a887e2..6cd07f7 100644
---
The following commit has been merged in the master branch:
commit 4c46b9e0b0ffd8f431903fcea13dab2a0bbaad64
Author: Stephane Glondu st...@glondu.net
Date: Thu Jun 18 19:09:32 2009 +0200
Remove bashisms and improve dom-mrconfig
diff --git a/tools/dom-mrconfig b/tools/dom-mrconfig
index
The following commit has been merged in the master branch:
commit 42dd68458e983a59d79d46ec8837c2c35e22a1c6
Author: Ralf Treinen trei...@free.fr
Date: Wed Jun 17 19:53:49 2009 +0200
make conflict with edos-{deb,rpm}check versionend
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 7c6e58c6692b632af23835b73fc50d567e0585d1
Author: Ralf Treinen trei...@free.fr
Date: Thu Jun 18 22:11:07 2009 +0200
add code to warn when packages requested but not existant
diff --git a/distcheck/common.ml
The following commit has been merged in the master branch:
commit d883b1bebd504d63d7752356e414e46c0db42e17
Author: Ralf Treinen trei...@free.fr
Date: Thu Jun 18 22:36:12 2009 +0200
fix typ error, and missing \nl in warning
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit aca399c0a9e245166e22d115eb71bf775c59140e
Author: Ralf Treinen trei...@free.fr
Date: Thu Jun 18 22:40:50 2009 +0200
fix upstream Makefile (remove cmi for clean)
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit b69e5b31b342f127d621e3fc252742572f9e1365
Author: Ralf Treinen trei...@free.fr
Date: Thu Jun 18 22:46:30 2009 +0200
flushd stderr after warning
diff --git a/distcheck/common.ml b/distcheck/common.ml
index b810f2c..d89f6b7
14 matches
Mail list logo
