This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq.
commit 45d7383f95ce0528d756f712635df90456ab97dc
Author: Stephane Glondu
Date: Tue Sep 26 10:20:31 2017 +0200
Update changelog and prepare upload to unstable
---
d
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit c01be74d81a5466c58f8dc6c568db286b0979997
Author: Enrico Tassi
Date: Wed Jul 15 10:01:05 2015 +0200
update changelog
---
debian/changelog | 3 ++-
1
2 matches
Mail list logo
