[gcc/meissner/heads/work115-dmf] (4 commits) Merge commit 'refs/users/meissner/heads/work115-dmf' of git

[Michael Meissner]

The branch 'meissner/heads/work115-dmf' was updated to point to:

 819ca54aedc... Merge commit 'refs/users/meissner/heads/work115-dmf' of git

It previously pointed to:

 dca110377f2... Add REVISION.

Diff:

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

  819ca54... Merge commit 'refs/users/meissner/heads/work115-dmf' of git
  ba9964c... Add REVISION.
  743746f... Update ChangeLog.meissner (*)
  9fd9208... Make load/cmp fusion know about prefixed loads. (*)

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