Commit 16eaa15059afb3119b4e8482231bf0b0bdced8e0

Vicent Martí 2012-04-02T17:24:16

Merge pull request #606 from benstraub/t04_commit_to_clar Ported t04_commit.c to Clar.