This is an automated email from the git hooks/post-receive script.

christophe.lyon pushed a change to branch abe-html in repository toolchain/abe.

at 12c0c1a Emit HTML reports similar to the XML ones, so that they can b [...]

No new revisions were added by this update.