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

[Michael Meissner]

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

 dc1ac0c75f0... Merge commit 'refs/users/meissner/heads/work139-dmf' of git

It previously pointed to:

 8831e1c5b2d... Merge commit 'refs/users/meissner/heads/work139-dmf' of git

Diff:

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

  dc1ac0c... Merge commit 'refs/users/meissner/heads/work139-dmf' of git
  11f9e1c... Add ChangeLog.dmf and update REVISION.
  c58761b... Update ChangeLog.meissner (*)
  49fb3f8... PowerPC: Do not depend on an undefined shift (*)
  ab63444... Revert patches (*)

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