The branch 'meissner/heads/work215-dmf' was updated to point to:
198cde4fab16... Merge commit 'refs/users/meissner/heads/work215-dmf' of git
It previously pointed to:
5066e913a779... Add ChangeLog.dmf and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
198cde4... Merge commit 'refs/users/meissner/heads/work215-dmf' of git
f38c787... Add ChangeLog.dmf and update REVISION.
a3190e9... Update ChangeLog.* (*)
5bf54e3... Add support for -mcpu=future (*)
3bf661f... Revert changes (*)
9da47f7... Add support for -mcpu=future (*)
ab29208... Revert changes (*)
2b35941... Update ChangeLog.* (*)
9c050bc... Add support for -mcpu=future (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work215-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
