[Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (a02b3f6 -> dc862e0)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch jessie-backports/master in repository dose3. from a02b3f6 fix changelog: merge artifact, location of 5.0.1-2~bpo8+1 new 0509a4b debian/changelog: fix an artifact from merge

[Pkg-ocaml-maint-commits] [dose3] 01/02: debian/changelog: fix an artifact from merge

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch jessie-backports/master in repository dose3. commit 0509a4bf7ce81343c625304178b54cefdd74798f Author: Ralf Treinen Date: Mon Jan 23 12:47:56 2017 +0100 debian/changelog: fix an artifact fro

[Pkg-ocaml-maint-commits] [dose3] 02/02: Merge branch 'jessie-backports/master' of git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into jessie-backports/master

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch jessie-backports/master in repository dose3. commit dc862e0c1840144386e1beaef05c5b521ffb98b6 Merge: 0509a4b a02b3f6 Author: Ralf Treinen Date: Tue Aug 29 14:25:16 2017 +0200 Merge branch '

[Pkg-ocaml-maint-commits] [dose3] 02/02: cherry-pick 0f07033: add test case for versioned virtual packages

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch stretch/master in repository dose3. commit 8501f437d6cec7b4c96c564bfb037503c8a5f68a Author: Ralf Treinen Date: Tue Jul 18 22:24:13 2017 +0200 cherry-pick 0f07033: add test case for version

[Pkg-ocaml-maint-commits] [dose3] branch stretch/master created (now 8501f43)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch stretch/master in repository dose3. at 8501f43 cherry-pick 0f07033: add test case for versioned virtual packages This branch includes the following new commits: new f00a195

[Pkg-ocaml-maint-commits] [dose3] 01/02: cherry-pick 42aa4c4: fix handling of versioned virtual packages

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch stretch/master in repository dose3. commit f00a1959e440f1f1541216afb5f5210703c44546 Author: Ralf Treinen Date: Tue Aug 29 14:44:53 2017 +0200 cherry-pick 42aa4c4: fix handling of versioned