[Pkg-ocaml-maint-commits] [menhir] annotated tag debian/20171222-1 created (now 045c05b)

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/20171222-1 in repository menhir. at 045c05b (tag) tagging 6c4107f0aadd35051b3e3ef93fa542944285054a (commit) replaces debian/20171206-1 tagged by Ralf Treinen

[Pkg-ocaml-maint-commits] [menhir] annotated tag upstream/20171222 created (now 8e6ed57)

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag upstream/20171222 in repository menhir. at 8e6ed57 (tag) tagging 62d86238bb5229da054dc58e60c8cfef9f606bac (commit) replaces upstream/20171206 tagged by Ralf Treinen

[Pkg-ocaml-maint-commits] [menhir] 01/01: pristine-tar data for menhir_20171222.orig.tar.gz

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch pristine-tar in repository menhir. commit 7717a46fe7c079dd1a6e19b88dd6f394b693d680 Author: Ralf Treinen Date: Tue Jan 2 19:19:08 2018 +0100 pristine-tar data for

[Pkg-ocaml-maint-commits] [menhir] branch master updated (67ca31f -> 6c4107f)

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository menhir. from 67ca31f drop debian/source/local-options new 62d8623 New upstream version 20171222 new 2060d1f Update upstream source from tag

[Pkg-ocaml-maint-commits] [menhir] 04/04: standards-version 4.1.3

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 6c4107f0aadd35051b3e3ef93fa542944285054a Author: Ralf Treinen Date: Tue Jan 2 19:23:38 2018 +0100 standards-version 4.1.3 ---

[Pkg-ocaml-maint-commits] [menhir] branch pristine-tar updated (1ba0560 -> 7717a46)

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch pristine-tar in repository menhir. from 1ba0560 pristine-tar data for menhir_20171206.orig.tar.gz new 7717a46 pristine-tar data for menhir_20171222.orig.tar.gz The 1 revisions

[Pkg-ocaml-maint-commits] [menhir] 01/04: New upstream version 20171222

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 62d86238bb5229da054dc58e60c8cfef9f606bac Author: Ralf Treinen Date: Tue Jan 2 19:19:05 2018 +0100 New upstream version 20171222 ---

[Pkg-ocaml-maint-commits] [menhir] 02/04: Update upstream source from tag 'upstream/20171222'

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 2060d1f0eee1a6442f2659abfde713054767a522 Merge: 67ca31f 62d8623 Author: Ralf Treinen Date: Tue Jan 2 19:19:08 2018 +0100 Update

[Pkg-ocaml-maint-commits] [menhir] branch upstream updated (c275369 -> 62d8623)

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch upstream in repository menhir. from c275369 New upstream version 20171206 new 62d8623 New upstream version 20171222 The 1 revisions listed above as "new" are entirely new to

[Pkg-ocaml-maint-commits] [menhir] 03/04: new upstream version

2018-01-02 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 1c05571ad7d8b0acf785612c19724ed460da6d4d Author: Ralf Treinen Date: Tue Jan 2 19:19:55 2018 +0100 new upstream version ---