The following commit has been merged in the master branch:
commit 3e917dec79c4d0eb6af5db02c113ed73c3c8
Author: Stephane Glondu st...@glondu.net
Date: Mon Apr 12 08:23:11 2010 +0200
Use dh-ocaml for dependency generation (Closes: #577311)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit af788e345f5e15846ed5ded71ed93958ff857bd2
Author: Enrico Tassi ga...@fettunta.org
Date: Mon Apr 12 17:59:22 2010 +0200
source format 3.0 (quilt)
diff --git a/debian/changelog b/debian/changelog
index 6e480c0..d28d58f 100644
The following commit has been merged in the master branch:
commit 6ef819ba30e9ab6a8ca408208ded51bd7987f594
Author: Enrico Tassi ga...@fettunta.org
Date: Mon Apr 12 18:01:57 2010 +0200
added copyright year to make lintian happy
diff --git a/debian/copyright b/debian/copyright
index
The following commit has been merged in the master branch:
commit 245591dfd519f7a3813d226f98e79f21b92965d0
Author: Enrico Tassi ga...@fettunta.org
Date: Mon Apr 12 18:05:49 2010 +0200
closing changelod, ready for upload
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 55f232f4528b0fc4c61a9945266c7f445e1075d6
Author: Enrico Tassi ga...@fettunta.org
Date: Mon Apr 12 18:07:25 2010 +0200
removed 00dpatch.conf
diff --git a/debian/patches/00dpatch.conf b/debian/patches/00dpatch.conf
deleted
The annotated tag, debian/0.8-9 has been created
at 393925c32aa6b2642b1b1e10b53e42059dd72aa0 (tag)
tagging 55f232f4528b0fc4c61a9945266c7f445e1075d6 (commit)
replaces debian/0.8-8
tagged by Enrico Tassi
on Mon Apr 12 18:07:49 2010 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 1f5f4c642ef4bd7357741fceb6208935d5ef4f14
Author: Enrico Tassi ga...@fettunta.org
Date: Mon Apr 12 18:38:53 2010 +0200
fix syntax in changelog, a ] was missing
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 06be3c72f5dcf7cd975880a845743cb5ea662156
Author: Stephane Glondu st...@glondu.net
Date: Mon Apr 12 19:09:03 2010 +0200
Even prettier syntax in changelog
diff --git a/debian/changelog b/debian/changelog
index 06612b9..03a0b73
The annotated tag, debian/0.8-10 has been created
at f86c97dd44e10304bd6ff8ba0ee95f2acf09864e (tag)
tagging 24a678d8ef72fc5a9305315881aa89230d566933 (commit)
replaces debian/0.8-9
tagged by Enrico Tassi
on Mon Apr 12 21:02:25 2010 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 270f4d19a32c197c23046210c07e397675a1d226
Author: Stephane Glondu st...@glondu.net
Date: Tue Apr 13 04:20:23 2010 +0200
Add debian/gbp.conf
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index
The annotated tag, debian/0.8-10 has been deleted
was f86c97dd44e10304bd6ff8ba0ee95f2acf09864e
---
tag debian/0.8-10
Debian release 0.8-10
24a678d8ef72fc5a9305315881aa89230d566933 uploading fix to changelog
11 matches
Mail list logo