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

unknown user pushed a change to branch patches in repository dejagnu.

at a25287f Look for xgcc++ to use the freshly built compiler, then in t [...]

This branch includes the following new commits:

new 4e17773 If DEJAGNU_SIM_SPECFILE exists in the environment, use that a [...] new fa789fc Add support for testing armv8 using the ARM Foundation Model. new 7fb6f37 New file to add support for querying a DMUCS server for the l [...] new a25287f Look for xgcc++ to use the freshly built compiler, then in t [...]

The 4 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.