[Pkg-ocaml-maint-commits] [ppx-tools] branch pristine-tar updated (b33aa0b -> 42e7c5c)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch pristine-tar in repository ppx-tools. from b33aa0b pristine-tar data for ppx-tools_0.99.2.orig.tar.gz new 8c3b5ea pristine-tar data for ppx-tools_5.0.orig.tar.gz new

[Pkg-ocaml-maint-commits] [ppx-tools] 01/02: pristine-tar data for ppx-tools_5.0.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository ppx-tools. commit 8c3b5ea62857cbd9689c6882c0dccd9a7d295bb3 Author: Stephane Glondu Date: Wed Jul 27 12:22:32 2016 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [ppx-tools] 03/09: Merge tag 'upstream/5.0+4.02.0'

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-tools. commit aa6664227dea210dd8fdf7c3768a0667fd7f012b Merge: 9911918 00c032b Author: Stephane Glondu Date: Wed Jul 27 12:23:00 2016 +0200 Merge

[Pkg-ocaml-maint-commits] [ppx-tools] 05/09: New upstream release

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-tools. commit 9aa624efeaefef771f7ded466d4027f8cf3e7d01 Author: Stephane Glondu Date: Wed Jul 27 12:24:01 2016 +0200 New upstream release ---

[Pkg-ocaml-maint-commits] [ppx-tools] branch upstream updated (5f9c16f -> 00c032b)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch upstream in repository ppx-tools. from 5f9c16f Imported Upstream version 0.99.2 new 10e72ba Imported Upstream version 5.0 new 00c032b Imported Upstream version

[Pkg-ocaml-maint-commits] [ppx-tools] 06/09: Update Vcs-*

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-tools. commit a00108121e1453fc36618fc1e8388ca8412a25df Author: Stephane Glondu Date: Wed Jul 27 12:26:45 2016 +0200 Update Vcs-* ---

[Pkg-ocaml-maint-commits] [ppx-tools] 08/09: Bump Standards-Version to 3.9.8

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-tools. commit 101e3ea51ab7804360f921869c55d0148187bf3b Author: Stephane Glondu Date: Wed Jul 27 12:33:46 2016 +0200 Bump Standards-Version to

[Pkg-ocaml-maint-commits] [ppx-tools] branch master updated (9911918 -> 03927c0)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository ppx-tools. from 9911918 Upload to unstable new 10e72ba Imported Upstream version 5.0 new 00c032b Imported Upstream version 5.0+4.02.0 new

[Pkg-ocaml-maint-commits] [ppx-tools] annotated tag upstream/5.0+4.02.0 created (now 38c5a2d)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/5.0+4.02.0 in repository ppx-tools. at 38c5a2d (tag) tagging 00c032bc2513fbeb1d17bba3ab58ef21f4267fe7 (commit) replaces upstream/5.0 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [ppx-tools] 04/09: Remove obsolete patch

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-tools. commit 6974748568cfde2c5c1783a966de701b2bd36632 Author: Stephane Glondu Date: Wed Jul 27 12:23:49 2016 +0200 Remove obsolete patch ---

[Pkg-ocaml-maint-commits] [ppx-core] annotated tag debian/113.33.03-1 created (now ce63dfc)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/113.33.03-1 in repository ppx-core. at ce63dfc (tag) tagging 4db073976169d569e6f55148a85d2af86fb92c54 (commit) replaces upstream/113.33.03 tagged by Stephane