This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository ppx-tools.
from ddafb90 Initial packaging
new 57565fc Fix copyright file
new 828c37d Prepare upload to experimental
The 2 revisions listed above
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/0.99.2-1
in repository ppx-tools.
at a197f94 (tag)
tagging 828c37d3fcab5ae3b57fdc540d9595ce337693ed (commit)
replaces upstream/0.99.2
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ppx-tools.
commit 57565fced0d2c685075d740f4c479979baa6e365
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 10 11:52:58 2015 +0100
Fix copyright file
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ppx-tools.
commit 828c37d3fcab5ae3b57fdc540d9595ce337693ed
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 10 11:50:56 2015 +0100
Prepare upload to experimental
4 matches
Mail list logo