The branch 'meissner/heads/work268-float' was updated to point to:
3b87bbe94cbc... Merge commit 'refs/users/meissner/heads/work268-float' of g
It previously pointed to:
636af12c9582... Add ChangeLog.float and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
3b87bbe... Merge commit 'refs/users/meissner/heads/work268-float' of g
1ee5317... Add ChangeLog.float and update REVISION.
e0e6eb3... Update ChangeLog.* (*)
cdbc856... Add -mdebug=extra1 through -mdebug=extra5 (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work268-float' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
