The branch 'meissner/heads/work225-dmf' was updated to point to:
538f90aa7e6a... Merge commit 'refs/users/meissner/heads/work225-dmf' of git
It previously pointed to:
5c8b0b916cd1... Add ChangeLog.dmf and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
538f90a... Merge commit 'refs/users/meissner/heads/work225-dmf' of git
6803387... Add ChangeLog.dmf and update REVISION.
38a0c8a... Update ChangeLog.* (*)
f9e6d99... Add -mcpu=future. (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work225-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
