The following commit has been merged in the master branch:
commit 8df3dd99df63cf78a491e7d9b09eda3e5435c97b
Author: Mehdi Dogguy
Date: Wed Jan 4 22:23:43 2012 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index b16b156..45dde58 100644
--- a/debian/changelog
+++
The following commit has been merged in the master branch:
commit d31975a699cd17c8b8424267646246064a41feb7
Author: Mehdi Dogguy
Date: Wed Jan 4 22:00:15 2012 +0100
Convert to 3.0 (quilt) source format
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit 72a670a54b7fbcbaa46158805ab17daf53023097
Author: Mehdi Dogguy
Date: Wed Jan 4 21:57:21 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 537e8f0..b16b156 100644
--- a/debian/changelog
+++ b/d
The following commit has been merged in the master branch:
commit b32a8be1ebcd80b3fa48067b7db4904835f5247b
Author: Mehdi Dogguy
Date: Wed Jan 4 21:54:08 2012 +0100
Bump S-V to 3.9.2, no further changes required
diff --git a/debian/control b/debian/control
index ef5d81c..903b216 100644
---
The following commit has been merged in the master branch:
commit f9b9e41b0dba357a6ed1f9a42bc8eef456dbb41b
Author: Mehdi Dogguy
Date: Wed Jan 4 21:53:37 2012 +0100
Fix copyright-refers-to-deprecated-bsd-license-file
diff --git a/debian/copyright b/debian/copyright
index 701b6e5..88835b2 10
The following commit has been merged in the master branch:
commit 4edf57b2f527a7df16bb045e48673be186c3ab35
Author: Mehdi Dogguy
Date: Wed Jan 4 21:52:06 2012 +0100
Fix typo in README.Debian
diff --git a/debian/README.Debian b/debian/README.Debian
index 6710851..4f4cdee 100644
--- a/debian/
The following commit has been merged in the master branch:
commit edb07a173d88561b760638e0c7b986b1f338627e
Author: Mehdi Dogguy
Date: Wed Jan 4 21:51:33 2012 +0100
Fix debian-rules-missing-recommended-target build-{arch,indep}
diff --git a/debian/rules b/debian/rules
index 5c651dd..f177510
The following commit has been merged in the master branch:
commit 39087cd0355301134292da64eeda3dd5afd721f2
Author: Mehdi Dogguy
Date: Wed Jan 4 21:58:01 2012 +0100
Add myself to uploaders
diff --git a/debian/control b/debian/control
index 538bc53..ef5d81c 100644
--- a/debian/control
+++ b/
The following commit has been merged in the master branch:
commit 04216a086297ffb4d0b5fd078e834016e24c014c
Author: Mehdi Dogguy
Date: Wed Jan 4 21:33:52 2012 +0100
Compile and install ocamldot
diff --git a/debian/control b/debian/control
index d740e9a..538bc53 100644
--- a/debian/control
+
The following commit has been merged in the master branch:
commit ab94560d6480ed2063d418ded7c45a2c9da10451
Merge: 5273260523c153fc453dd726bad11c14a4728986
90b93cd7331861152a6da28c9ec793f2b4c445c2
Author: Mehdi Dogguy
Date: Wed Jan 4 21:39:37 2012 +0100
Merge commit 'upstream/20120103'
--
10 matches
Mail list logo
