The branch 'meissner/heads/work163-dmf' was updated to point to:
ccaf1787586... Merge commit 'refs/users/meissner/heads/work163-dmf' of git
It previously pointed to:
33ae477516e... Merge commit 'refs/users/meissner/heads/work163-dmf' of git
Diff:
Summary of changes (added commits):
-----------------------------------
ccaf178... Merge commit 'refs/users/meissner/heads/work163-dmf' of git
a275a33... Add ChangeLog.dmf and update REVISION.
46702b3... Update ChangeLog.* (*)
1240d23... Add -mcpu=future tuning support. (*)
9b9f96d... Add -mcpu=future support. (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work163-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
