The branch 'meissner/heads/work220-sha' was updated to point to:
9736984b75cd... Merge commit 'refs/users/meissner/heads/work220-sha' of git
It previously pointed to:
029363a84ba3... Merge commit 'refs/users/meissner/heads/work220-sha' of git
Diff:
Summary of changes (added commits):
-----------------------------------
9736984... Merge commit 'refs/users/meissner/heads/work220-sha' of git
c03efb2... Add ChangeLog.sha and update REVISION.
3621405... Add support for -mcpu=future (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work220-sha' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
