[Pkg-ocaml-maint-commits] [dose3] branch master updated (3bc1447 -> 0088015)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository dose3. from 3bc1447 add NEWS about changed printing of package names adds c2bfd40 Imported Debian patch 4.1~beta1-2 adds 95d8ecf drop patch fix-doc-

[Pkg-ocaml-maint-commits] [dose3] 02/06: dropped Testsuite

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository dose3. commit b5e6345b52935c56422bdca07414353654971da6 Author: Ralf Treinen Date: Sun Apr 3 21:41:30 2016 +0200 dropped Testsuite --- debian/changelog | 3 ++- debian

[Pkg-ocaml-maint-commits] [dose3] 05/06: Vcs-git now using https:

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository dose3. commit fab37727b86edb73218ed3e36b18334135360da7 Author: Ralf Treinen Date: Sun Apr 3 22:01:29 2016 +0200 Vcs-git now using https: --- debian/changelog | 1 + d

[Pkg-ocaml-maint-commits] [dose3] 04/06: duplicate paragraph in d/copyright

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository dose3. commit 4527417bfefd7f03281fb9abf22771dea963f58f Author: Ralf Treinen Date: Sun Apr 3 22:00:52 2016 +0200 duplicate paragraph in d/copyright --- debian/changelo

[Pkg-ocaml-maint-commits] [dose3] 01/06: upload to sid.

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository dose3. commit 98812e9ab9ac7d32e0526f349c20360de85f6e78 Author: Ralf Treinen Date: Sun Apr 3 21:40:06 2016 +0200 upload to sid. --- debian/changelog | 6 ++ 1 file

[Pkg-ocaml-maint-commits] [dose3] 03/06: copyright: new filename of versioning/debian.ml

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository dose3. commit cc1b80eb6dbc2472fbfc76698b6442625460f2e1 Author: Ralf Treinen Date: Sun Apr 3 21:52:27 2016 +0200 copyright: new filename of versioning/debian.ml --- de

[Pkg-ocaml-maint-commits] [dose3] branch upstream updated (98e6766 -> 603c267)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch upstream in repository dose3. from 98e6766 Imported Upstream version 4.1 adds 4307891 Imported Upstream version 4.2 new 603c267 Merge branch 'experimental/upstream' int

[Pkg-ocaml-maint-commits] [dose3] 01/01: Merge branch 'experimental/upstream' into upstream

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch upstream in repository dose3. commit 603c267eeb6a14d633c6d9fec95f16374355a0f8 Merge: 98e6766 4307891 Author: Ralf Treinen Date: Sun Apr 3 21:36:17 2016 +0200 Merge branch 'experimental/ups