[Pkg-ocaml-maint-commits] [ocp-indent] branch master updated (ce67c0e - 33f5ce8)

2015-06-08 Thread Johannes Schauer
This is an automated email from the git hooks/post-receive script. josch pushed a change to branch master in repository ocp-indent. from ce67c0e new upstream version 1.5 new d3cbc56 add Christopher Zimmerman to d/copyright and make vim plugin functional new 33f5ce8

[Pkg-ocaml-maint-commits] [ocp-indent] 01/02: add Christopher Zimmerman to d/copyright and make vim plugin functional

2015-06-08 Thread Johannes Schauer
This is an automated email from the git hooks/post-receive script. josch pushed a commit to branch master in repository ocp-indent. commit d3cbc56fa38838f974c00aab6ad7d25fba87dc0c Author: Johannes Schauer jo...@debian.org Date: Tue Jun 9 07:04:48 2015 +0200 add Christopher Zimmerman to

[Pkg-ocaml-maint-commits] [ocp-indent] 02/02: upload 1.5-2

2015-06-08 Thread Johannes Schauer
This is an automated email from the git hooks/post-receive script. josch pushed a commit to branch master in repository ocp-indent. commit 33f5ce88a9259e46af43402913884d0acb3903c7 Author: Johannes Schauer jo...@debian.org Date: Tue Jun 9 07:29:52 2015 +0200 upload 1.5-2 ---

[Pkg-ocaml-maint-commits] [ocp-indent] tag debian/1.5-2 created (now 33f5ce8)

2015-06-08 Thread Johannes Schauer
This is an automated email from the git hooks/post-receive script. josch pushed a change to tag debian/1.5-2 in repository ocp-indent. at 33f5ce8 (commit) No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on