The branch 'meissner/heads/work214-dmf' was updated to point to:
c6d5631c43f4... Merge commit 'refs/users/meissner/heads/work214-dmf' of git
It previously pointed to:
9d9ca7812aa5... Add ChangeLog.dmf and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
c6d5631... Merge commit 'refs/users/meissner/heads/work214-dmf' of git
4102833... Add ChangeLog.dmf and update REVISION.
3c642ec... Update ChangeLog.* (*)
202f312... Add -mcpu=future support (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work214-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
