The following commit has been merged in the master branch:
commit 3927e7ffcb833c701014c5e024b46e1fe65ee41f
Author: Mehdi Dogguy
Date: Tue Jun 5 18:44:32 2012 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index d1b574c..d135bb1 100644
--- a/debian/changelog
+++
The following commit has been merged in the master branch:
commit d78787b7663d9ea009f2debbe778bb4b8ffdd4ec
Author: Mehdi Dogguy
Date: Tue Jun 5 18:45:55 2012 +0200
Fix lintian's duplicate-short-description libmysql-ocaml{,-dev}
diff --git a/debian/changelog b/debian/changelog
index 4431f0f
The following commit has been merged in the master branch:
commit 659bf2d61ccef17481717fcced6b42fd27485579
Author: Mehdi Dogguy
Date: Tue Jun 5 18:38:43 2012 +0200
Generate ref doc using dh_ocamldoc
diff --git a/debian/libmysql-ocaml-dev.doc-base
b/debian/libmysql-ocaml-dev.doc-base
delet
The following commit has been merged in the master branch:
commit d2b05dafe216cc66168bd99bf3f2f3763bc405f3
Author: Mehdi Dogguy
Date: Tue Jun 5 18:23:52 2012 +0200
Various packaging updates
* Bump standards version to 3.9.3
* Switch source package format to 3.0 (quilt)
* ..
The following commit has been merged in the master branch:
commit 982482e2702ea698c2c9cf7e06fa8043a8f14e0e
Author: Mehdi Dogguy
Date: Tue Jun 5 18:16:58 2012 +0200
Remove local patches, integrated by upstream.
diff --git a/debian/changelog b/debian/changelog
index 62b0143..7a8da62 100644
-
The following commit has been merged in the master branch:
commit f6a4f22d83391492c2519f6778cbfe93ff9a205b
Author: Mehdi Dogguy
Date: Tue Jun 5 18:08:20 2012 +0200
Update debian/watch file.
diff --git a/debian/changelog b/debian/changelog
index db8cdfa..62b0143 100644
--- a/debian/changelo
The following commit has been merged in the master branch:
commit 7ed667bf0e83e747598c05af587bfb859986abb5
Author: Mehdi Dogguy
Date: Tue Jun 5 18:06:48 2012 +0200
Add a Homepage field in debian/control.
diff --git a/debian/changelog b/debian/changelog
index bee5055..db8cdfa 100644
--- a/d
The following commit has been merged in the master branch:
commit 1860c2e77c4f3260215dc8dd58013f27904f5d09
Author: Mehdi Dogguy
Date: Tue Jun 5 18:06:14 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 901d309..bee5055 100644
--- a/debian/changelog
+++
The following commit has been merged in the master branch:
commit 23038a85699a91724d56b9b1fb773078e5f8dd44
Merge: d68768b43f629068b5c0d133081da23c9558f431
889ff5dee3584843c7648dc3a842439e8cef49ec
Author: Mehdi Dogguy
Date: Tue Jun 5 18:03:18 2012 +0200
Merge tag 'upstream/1.1.1'
U
9 matches
Mail list logo