The following commit has been merged in the master branch:
commit 8311762d17cbfb68879c0888fadc2406e1cde288
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 15:03:06 2012 +0100
Add myself to uploaders
diff --git a/debian/control b/debian/control
index b5a2f8c..88ebb0d 100644
---
The following commit has been merged in the master branch:
commit 51adb76656919ba744a53e9fd836a6145d7e9fa7
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 15:05:08 2012 +0100
New upstream release (Closes: #627791)
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 1ff207395c00f9c1bd3d4e45e8b3c9f3cb154bd2
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 15:08:17 2012 +0100
Various changes
diff --git a/debian/clean b/debian/clean
new file mode 100644
index 000..c130fbc
---
The following commit has been merged in the master branch:
commit aa9498c992f728f4983c65209e03f8a0495a8f03
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 15:13:06 2012 +0100
Update changelog
diff --git a/debian/changelog b/debian/changelog
index f9264db..f316d15 100644
---
The following commit has been merged in the master branch:
commit 7e263109adae040a56988ad34bd38c1ab363548e
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 16:38:39 2012 +0100
Add a small paragraph describing OCaml in ocaml-doc's long description
diff --git a/debian/control
The following commit has been merged in the pristine-tar branch:
commit 6d544099152ac195607c442741a421b861eba275
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 15:04:16 2012 +0100
pristine-tar data for ocaml-doc_3.12.orig.tar.gz
diff --git a/ocaml-doc_3.12.orig.tar.gz.delta
The annotated tag, debian/3.12-1 has been created
at 2202c962d6e4db4043f5db127483a9899ead207c (tag)
tagging 7e263109adae040a56988ad34bd38c1ab363548e (commit)
replaces debian/3.11-1
tagged by Mehdi Dogguy
on Wed Jan 4 16:44:00 2012 +0100
- Shortlog
The annotated tag, upstream/3.12 has been created
at ad9b945d485534177fe6abd810b78639c2dca847 (tag)
tagging b4c49f76a9b76998fc11acc87bd071f801ad32d5 (commit)
replaces upstream/3.11
tagged by Mehdi Dogguy
on Wed Jan 4 15:04:16 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit de58f74ff89c35faa15acca1c8c69453854a7258
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 16:49:44 2012 +0100
Minor change in debian/ocaml-doc.doc-base.ocaml.in
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/3.12-2 has been created
at 5a38897770c07eeece8584c6f543e953ed561aa9 (tag)
tagging de58f74ff89c35faa15acca1c8c69453854a7258 (commit)
replaces debian/3.12-1
tagged by Mehdi Dogguy
on Wed Jan 4 16:56:37 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit bad76762ce2c83a90f285742437fba89aa628ec7
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 17:43:52 2012 +0100
Provide a .cmxs plugin in libxml-light-ocaml-dev (Closes: #647299). Thanks
to Benjamin Sigonneau for the
The following commit has been merged in the master branch:
commit 23fd16ecc6b723bd0b7e741e7c52dcc3d15d4d95
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 17:47:46 2012 +0100
Various changes
diff --git a/debian/control b/debian/control
index 69e08b2..2c19403 100644
---
The following commit has been merged in the master branch:
commit 17443214bc9e7e0faf70d2a6b5912a4fcf73abd9
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 17:58:57 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 2e2ca8e..fcb359b 100644
---
The following commit has been merged in the master branch:
commit 2a0bdeba6709fdf888fbf2cf3e19265c14ef0fc3
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 18:36:08 2012 +0100
Add missing colon in patch's header
diff --git a/debian/patches/02_skip_begin b/debian/patches/02_skip_begin
The following commit has been merged in the master branch:
commit 086aa072eee5c347cc9c58c4d17266b713fef301
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 18:46:20 2012 +0100
Fix spelling-error-in-manpage
diff --git a/debian/xml-man/headache.xml b/debian/xml-man/headache.xml
index
The annotated tag, debian/1.03-21 has been created
at 6527ce46356978e3a7e0bf9bc64cdb334838cf00 (tag)
tagging 4303a6feab2e48a53af1f5b6f225db6386294135 (commit)
replaces debian/1.03-20
tagged by Mehdi Dogguy
on Wed Jan 4 18:57:12 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 7a10089adfea03fc826997c11f5dde2b75471f12
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 21:25:16 2012 +0100
Replaced homepage link with the project's homepage
diff --git a/debian/control b/debian/control
index
The following commit has been merged in the master branch:
commit ab94560d6480ed2063d418ded7c45a2c9da10451
Merge: 5273260523c153fc453dd726bad11c14a4728986
90b93cd7331861152a6da28c9ec793f2b4c445c2
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 21:39:37 2012 +0100
Merge commit
The following commit has been merged in the master branch:
commit 04216a086297ffb4d0b5fd078e834016e24c014c
Author: Mehdi Dogguy me...@debian.org
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
---
The following commit has been merged in the master branch:
commit 39087cd0355301134292da64eeda3dd5afd721f2
Author: Mehdi Dogguy me...@debian.org
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
---
The following commit has been merged in the master branch:
commit 4edf57b2f527a7df16bb045e48673be186c3ab35
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit f9b9e41b0dba357a6ed1f9a42bc8eef456dbb41b
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit b32a8be1ebcd80b3fa48067b7db4904835f5247b
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit d31975a699cd17c8b8424267646246064a41feb7
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 72a670a54b7fbcbaa46158805ab17daf53023097
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 21:57:21 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 537e8f0..b16b156 100644
---
The following commit has been merged in the master branch:
commit 8df3dd99df63cf78a491e7d9b09eda3e5435c97b
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 22:23:43 2012 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index b16b156..45dde58 100644
---
The following commit has been merged in the pristine-tar branch:
commit d214d580544d932533405bd8492e919694533792
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 21:39:37 2012 +0100
pristine-tar data for ocaml-tools_20120103.orig.tar.gz
diff --git
The following commit has been merged in the master branch:
commit edb07a173d88561b760638e0c7b986b1f338627e
Author: Mehdi Dogguy me...@debian.org
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
The annotated tag, debian/20120103-1 has been created
at cfd1b69a596d67f724e0f602485133576a9a26a6 (tag)
tagging 8df3dd99df63cf78a491e7d9b09eda3e5435c97b (commit)
replaces debian/20090719-1
tagged by Mehdi Dogguy
on Wed Jan 4 22:24:02 2012 +0100
- Shortlog
The annotated tag, upstream/20120103 has been created
at 083c16ce2a7c31657a82fd4b96b2f1314a100d26 (tag)
tagging 90b93cd7331861152a6da28c9ec793f2b4c445c2 (commit)
replaces upstream/20090719
tagged by Mehdi Dogguy
on Wed Jan 4 21:39:37 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 69c99023a540a759aa35c560f2e1dd00fa8fe1b0
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 22:45:00 2012 +0100
Generate html documentation
diff --git a/debian/changelog b/debian/changelog
index d0d7109..1fa1e8f 100644
The following commit has been merged in the master branch:
commit ca571fabffd39fe4ddf2cee0f82ea1eddeecb80d
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 22:45:58 2012 +0100
Bump Standards-Version to 3.9.2, no changes needed.
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 229a92b26f4b9b5f3bf2bea6d6fd9141e7a8624e
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 22:50:20 2012 +0100
Fix duplicate-short-description
diff --git a/debian/changelog b/debian/changelog
index dcd3d64..d2ad9cb
The following commit has been merged in the master branch:
commit c80798e4bf21bd13fde4b613cce0d1f6a203a866
Author: Mehdi Dogguy me...@debian.org
Date: Wed Jan 4 22:52:04 2012 +0100
Add a watch file
diff --git a/debian/changelog b/debian/changelog
index d2ad9cb..b7e3c55 100644
---
The annotated tag, debian/1.2-2 has been created
at 7f6c2dba4ca8c49ac7042dcca97e4dbfdc151171 (tag)
tagging c80798e4bf21bd13fde4b613cce0d1f6a203a866 (commit)
replaces debian/1.2-1
tagged by Mehdi Dogguy
on Wed Jan 4 22:59:26 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit c893a198ddaf6dfa3e5ddfc21139aa000f65444d
Author: Mehdi Dogguy me...@debian.org
Date: Thu Jan 5 02:24:28 2012 +0100
Enable wide character support
diff --git a/debian/changelog b/debian/changelog
index 6ca64b0..ef96fbb 100644
The following commit has been merged in the master branch:
commit c773971e102488290234c85571dffd4c5accc029
Author: Mehdi Dogguy me...@debian.org
Date: Thu Jan 5 02:30:06 2012 +0100
Convert to 3.0 (quilt) source format
diff --git a/debian/changelog b/debian/changelog
index ef96fbb..a8e5807
The following commit has been merged in the master branch:
commit 3c1b29112cd11a3c44fc804ba8137a4b37ba9619
Author: Mehdi Dogguy me...@debian.org
Date: Thu Jan 5 02:38:24 2012 +0100
Fix debian-rules-missing-recommended-target build-{arch,indep}
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 677f474b1ef99c352ec3b8e47d63ff0c4a37e45f
Author: Mehdi Dogguy me...@debian.org
Date: Thu Jan 5 02:42:31 2012 +0100
Fix duplicate-short-description
diff --git a/debian/changelog b/debian/changelog
index 4348b7f..a20e2ac
The following commit has been merged in the master branch:
commit d3345c28d344302700818f4b1095422aede72203
Author: Mehdi Dogguy me...@debian.org
Date: Thu Jan 5 02:44:11 2012 +0100
Fix by copyright-with-old-dh-make-debian-copyright s/(C)/©/.
diff --git a/debian/changelog b/debian/changelog
The annotated tag, debian/1.0.3-2 has been created
at bbf9869f3dee553fcf2e37ddaff0f63a15d87f52 (tag)
tagging d3345c28d344302700818f4b1095422aede72203 (commit)
replaces debian/1.0.3-1
tagged by Mehdi Dogguy
on Thu Jan 5 02:46:43 2012 +0100
- Shortlog
41 matches
Mail list logo
