The branch 'meissner/heads/work217-dmf' was updated to point to:
fd3e0ff85304... Merge commit 'refs/users/meissner/heads/work217-dmf' of git
It previously pointed to:
bb5bb4c259c4... Add ChangeLog.dmf and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
fd3e0ff... Merge commit 'refs/users/meissner/heads/work217-dmf' of git
8e36580... Add ChangeLog.dmf and update REVISION.
0e19d41... Update ChangeLog.* (*)
8987e2d... Add support for -mcpu=future (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work217-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
