[Pkg-ocaml-maint-commits] [planets] 04/04: standards-version 4.1.0: drop menu, priority=optional

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository planets. commit 86bb5f6e190396f7a63ba03745db414a7ee794bb Author: Ralf Treinen Date: Tue Sep 26 08:20:47 2017 +0200 standards-version 4.1.0: drop

[Pkg-ocaml-maint-commits] [planets] branch master updated (3d8ff70 -> 86bb5f6)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository planets. from 3d8ff70 Release to unstable new 19931d1 DH compat level 10 new c48426b improve long description new 62e5e8d spelling in

[Pkg-ocaml-maint-commits] [planets] 01/04: DH compat level 10

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository planets. commit 19931d18662230f54bb9e671ca6fb96672ed373c Author: Ralf Treinen Date: Tue Sep 26 07:55:45 2017 +0200 DH compat level 10 ---

[Pkg-ocaml-maint-commits] [planets] 02/04: improve long description

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository planets. commit c48426b442835fffb0467f73d3219348e32bfba1 Author: Ralf Treinen Date: Tue Sep 26 07:57:45 2017 +0200 improve long description ---

[Pkg-ocaml-maint-commits] [planets] annotated tag debian/0.1.13-17 created (now 59bd298)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/0.1.13-17 in repository planets. at 59bd298 (tag) tagging 86bb5f6e190396f7a63ba03745db414a7ee794bb (commit) replaces debian/0.1.13-16 tagged by Ralf Treinen

[Pkg-ocaml-maint-commits] [planets] 03/04: spelling in doc-base file

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository planets. commit 62e5e8d055271f250f7f9a4a4cf4a95baf294b85 Author: Ralf Treinen Date: Tue Sep 26 07:59:53 2017 +0200 spelling in doc-base file ---

[Pkg-ocaml-maint-commits] [coq] branch master updated (c2f1eda -> 45d7383)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository coq. from c2f1eda fix ocamlfind package name new 0905922 Remove unused Lintian overrides new 47a06f5 Remove menu files new e9b64f6

[Pkg-ocaml-maint-commits] [coq] 04/04: Update changelog and prepare upload to unstable

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq. commit 45d7383f95ce0528d756f712635df90456ab97dc Author: Stephane Glondu Date: Tue Sep 26 10:20:31 2017 +0200 Update changelog and prepare upload

[Pkg-ocaml-maint-commits] [coq] 03/04: Update Vcs-*

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq. commit e9b64f65bc46bcf8afdceb88cc2db81f8faa84ba Author: Stephane Glondu Date: Tue Sep 26 11:07:55 2017 +0200 Update Vcs-* --- debian/control |

[Pkg-ocaml-maint-commits] [coq] 01/04: Remove unused Lintian overrides

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq. commit 090592236763255a379552fca40bb865b68c73e6 Author: Stephane Glondu Date: Tue Sep 26 11:07:18 2017 +0200 Remove unused Lintian overrides ---

[Pkg-ocaml-maint-commits] [coq] 02/04: Remove menu files

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq. commit 47a06f5660633f7cce3b8dedbd658e0d398b0fca Author: Stephane Glondu Date: Tue Sep 26 11:07:44 2017 +0200 Remove menu files ---

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-5 created (now 0c27d3c)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/8.6-5 in repository coq. at 0c27d3c (tag) tagging 45d7383f95ce0528d756f712635df90456ab97dc (commit) replaces debian/8.6-4 tagged by Stephane Glondu on