The branch 'meissner/heads/work175-dmf' was updated to point to:
450406814595... Merge commit 'refs/users/meissner/heads/work175-dmf' of git
It previously pointed to:
1fc1d66280c2... Merge commit 'refs/users/meissner/heads/work175-dmf' of git
Diff:
Summary of changes (added commits):
-----------------------------------
4504068... Merge commit 'refs/users/meissner/heads/work175-dmf' of git
27dc640... Add ChangeLog.dmf and update REVISION.
6ef0fb1... Update ChangeLog.* (*)
e198be0... Add -mcpu=future tuning support. (*)
8553a0e... Add support for -mcpu=future (*)
71db6b9... Revert changes (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work175-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
