The branch 'meissner/heads/work224-float' was updated to point to:
4f32166b553e... Merge commit 'refs/users/meissner/heads/work224-float' of g
It previously pointed to:
046ad08a0acd... Merge commit 'refs/users/meissner/heads/work224-float' of g
Diff:
Summary of changes (added commits):
-----------------------------------
4f32166... Merge commit 'refs/users/meissner/heads/work224-float' of g
52cf145... Add ChangeLog.float and update REVISION.
a57244a... Add -mcpu=future option. (*)
7b3aab0... Revert changes (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work224-float' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
