The branch 'meissner/heads/work213-dmf' was updated to point to:
9a50b13c3afb... Merge commit 'refs/users/meissner/heads/work213-dmf' of git
It previously pointed to:
7cc0e012ea3e... Add ChangeLog.dmf and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
9a50b13... Merge commit 'refs/users/meissner/heads/work213-dmf' of git
5d3071d... Add ChangeLog.dmf and update REVISION.
24dc829... Update ChangeLog.* (*)
8cc513b... Add -mcpu=future support (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work213-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
