This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository frama-c.
commit 774467b27339d68b1a749c6ef3df1126d287aa2b
Author: Stephane Glondu
Date: Thu Jul 27 19:03:53 2017 +0200
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 frama-c.
commit e4658f5b5b67befc186ebe5e62cadf9a68262cbc
Author: Stephane Glondu st...@glondu.net
Date: Sun Dec 8 12:25:26 2013 +0100
Update changelog and prepare
2 matches
Mail list logo