[Pkg-ocaml-maint-commits] [ocp-indent] branch master updated (580b8f0 -> 35522ff)

This is an automated email from the git hooks/post-receive script. josch-guest pushed a change to branch master in repository ocp-indent. from 580b8f0 manually clean without Makefile.simple new 35522ff do not bump to -3... that'd be useless The 1 revisions listed above as "new

[Pkg-ocaml-maint-commits] [ocp-indent] 01/01: do not bump to -3... that'd be useless

This is an automated email from the git hooks/post-receive script. josch-guest pushed a commit to branch master in repository ocp-indent. commit 35522fff46a3bc511428014fb570f0421bdfd4c4 Author: josch Date: Wed Aug 13 23:49:40 2014 +0200 do not bump to -3... that'd be useless --- debian/c

[Pkg-ocaml-maint-commits] [ocp-indent] 01/01: manually clean without Makefile.simple

This is an automated email from the git hooks/post-receive script. josch-guest pushed a commit to branch master in repository ocp-indent. commit 580b8f08980dccad920af3959760e60946d1b5b4 Author: josch Date: Wed Aug 13 23:46:02 2014 +0200 manually clean without Makefile.simple --- debian/c

[Pkg-ocaml-maint-commits] [ocp-indent] branch master updated (3316070 -> 580b8f0)

This is an automated email from the git hooks/post-receive script. josch-guest pushed a change to branch master in repository ocp-indent. from 3316070 fix debian/copyright (thanks, Andreas Cadhalpun) new 580b8f0 manually clean without Makefile.simple The 1 revisions listed abo