The branch 'meissner/heads/work233-dmf' was updated to point to:
9de16ee46be4... Merge commit 'refs/users/meissner/heads/work233-dmf' of git
It previously pointed to:
792756cd1a11... Update ChangeLog.*
Diff:
Summary of changes (added commits):
-----------------------------------
9de16ee... Merge commit 'refs/users/meissner/heads/work233-dmf' of git
c7298f1... Update ChangeLog.*
72d3d9a... Add support for 1,024 bit DMF registers.
cbbe149... Add support for dense math registers.
f80bb53... Add wD constraint.
c895da9... Add ChangeLog.dmf and update REVISION.
5fd1295... Update ChangeLog.* (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work233-dmf' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
