summaryrefslogtreecommitdiff
path: root/debian/changelog
Commit message (Expand)AuthorAge
* debian/changelog: Tag 2.4-1 for unstable releaseHEADmasterGravatar Benjamin Barenblat2015-02-05
* Begin packaging CompCertGravatar Benjamin Barenblat2015-02-05