This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository camlp5.
commit 6ab047be05fb70cf0212993e4c47dd058e4ba0a8
Author: Stephane Glondu
Date: Fri Oct 9 15:37:25 2015 +0200
New upstream release
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository camlp5.
commit 00bfe69b9c1ec298eb0551b3f8004e552916bade
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 16 08:45:22 2015 +0200
New upstream release
---
2 matches
Mail list logo