The branch 'meissner/heads/work213-sha' was updated to point to:
aba3902242d8... Merge commit 'refs/users/meissner/heads/work213-sha' of git
It previously pointed to:
149a0c32f3ba... Add ChangeLog.sha and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
aba3902... Merge commit 'refs/users/meissner/heads/work213-sha' of git
60744e8... Add ChangeLog.sha and update REVISION.
24dc829... Update ChangeLog.* (*)
8cc513b... Add -mcpu=future support (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work213-sha' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
