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

unknown user pushed a change to branch devel/nothrow-detection in repository gcc.

at 9b53c7f9484 Edge redirection for exceptions.

This branch includes the following new commits:

new 9b53c7f9484 Edge redirection for exceptions.

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.