[Pkg-ocaml-maint-commits] [dose3] 02/03: upload to jessie-backports

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 0414130a43e4be0e75dea8051ce5e15b9cbe2751 Author: Ralf Treinen Date: Wed Jun 29 14:46:03 2016 +0200 upload to jessie-backports --- debia

[Pkg-ocaml-maint-commits] [dose3] 01/03: backport experimental branch to Debian Jessie

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 a4291ffd2cf70fb76cee09ea3bd531d0eb3a6654 Author: Johannes Schauer Date: Wed Jun 22 13:05:00 2016 +0200 backport experimental branch to D

[Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (e6b2a9b -> 2cf6d55)

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 e6b2a9b backport experimental branch to Debian Jessie adds 55407bd Imported Upstream version 5.0 adds a7f6ae4 Merge tag

[Pkg-ocaml-maint-commits] [dose3] 03/03: 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 2cf6d55979c4397d2ccfcc5992708aa606e0216b Merge: 0414130 e6b2a9b Author: Ralf Treinen Date: Wed Jun 29 17:32:33 2016 +0200 Merge branch '