[Pkg-ocaml-maint-commits] [ssreflect] 03/07: Merge tag 'upstream/1.5_rc1'

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit 8b3bece2b7f21707a750ccab17e725247287cc21 Merge: f480357 69c436c Author: Stephane Glondu st...@glondu.net Date: Sat Aug 10 20:41:54 2013 +0200 Merge

[Pkg-ocaml-maint-commits] [ssreflect] 07/07: Update changelog and prepare upload to experimental

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit f60fc919574dad05fcaeaca17722d86f2d74d977 Author: Stephane Glondu st...@glondu.net Date: Sat Aug 10 21:53:29 2013 +0200 Update changelog and prepare

[Pkg-ocaml-maint-commits] [ssreflect] 05/07: Update Vcs-*

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit 550598f528a153208c2135c5eec36d1abf25e015 Author: Stephane Glondu st...@glondu.net Date: Sat Aug 10 21:19:52 2013 +0200 Update Vcs-* ---

[Pkg-ocaml-maint-commits] [ssreflect] 04/07: New upstream release

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit 1970d0ebff1753d06280dc3134db37f6e588b6aa Author: Stephane Glondu st...@glondu.net Date: Sat Aug 10 20:42:09 2013 +0200 New upstream release ---

[Pkg-ocaml-maint-commits] [ssreflect] branch master updated (41c0c80 - f60fc91)

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository ssreflect. from 41c0c80 Update changelog and prepare upload to unstable new f480357 Update debian/watch new 69c436c Imported Upstream version

[Pkg-ocaml-maint-commits] [ssreflect] branch upstream updated (46fb9a6 - 69c436c)

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch upstream in repository ssreflect. from 46fb9a6 Imported Upstream version 1.4 new 69c436c Imported Upstream version 1.5~rc1 The 1 revisions listed above as new are entirely new

[Pkg-ocaml-maint-commits] [ssreflect] 01/07: Update debian/watch

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit f480357d9b175fc74ad3f44243a665d6e53f08f1 Author: Stephane Glondu st...@glondu.net Date: Sat Aug 10 20:21:32 2013 +0200 Update debian/watch ---

[Pkg-ocaml-maint-commits] [ssreflect] branch pristine-tar updated (cd7cee1 - 814904b)

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch pristine-tar in repository ssreflect. from cd7cee1 pristine-tar data for ssreflect_1.4.orig.tar.gz new 814904b pristine-tar data for ssreflect_1.5~rc1.orig.tar.gz The 1

[Pkg-ocaml-maint-commits] [ssreflect] 06/07: Compile with OCaml = 4

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit 9c9ef542c157845491ff2f0792de020cbfb6f7f9 Author: Stephane Glondu st...@glondu.net Date: Sat Aug 10 21:53:12 2013 +0200 Compile with OCaml = 4 ---

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag upstream/1.5_rc1 created (now dc5fc2b)

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.5_rc1 in repository ssreflect. at dc5fc2b (tag) tagging 69c436c96ff35d79f4c0eff30cfccd31f226e103 (commit) replaces upstream/1.4 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.5_rc1-1 created (now 8cca397)

2013-08-10 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/1.5_rc1-1 in repository ssreflect. at 8cca397 (tag) tagging f60fc919574dad05fcaeaca17722d86f2d74d977 (commit) replaces debian/1.4-2 tagged by Stephane Glondu