This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ppx-tools.
commit fdebb994218fd330cc23acfeae8e4df369dfbe8b
Author: Stephane Glondu st...@glondu.net
Date: Fri Mar 27 10:12:22 2015 +0100
Update changelog and prepare
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ppx-tools.
commit 0fbda62c61ad2d8f32719b17dac6adaedc666e66
Author: Stephane Glondu st...@glondu.net
Date: Fri Mar 27 13:24:44 2015 +0100
Update changelog and prepare
2 matches
Mail list logo