[gcc/meissner/heads/work154-vcombo] (3 commits) Merge commit 'refs/users/meissner/heads/work154-vcombo' of

[Michael Meissner]

The branch 'meissner/heads/work154-vcombo' was updated to point to:

 80a30554100... Merge commit 'refs/users/meissner/heads/work154-vcombo' of 

It previously pointed to:

 c6f56645928... Merge commit 'refs/users/meissner/heads/work154-vcombo' of 

Diff:

Summary of changes (added commits):
-----------------------------------

  80a3055... Merge commit 'refs/users/meissner/heads/work154-vcombo' of 
  ab919c6... Add ChangeLog.vcombo and update REVISION.
  3072378... Update ChangeLog.* (*)

(*) This commit already exists in another branch.
    Because the reference `refs/users/meissner/heads/work154-vcombo' matches
    your hooks.email-new-commits-only configuration,
    no separate email is sent for this commit.