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

[Michael Meissner]

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

 0117a3891da... Merge commit 'refs/users/meissner/heads/work152-dmf' of git

It previously pointed to:

 cdcbb46adf1... Add ChangeLog.dmf and update REVISION.

Diff:

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

  0117a38... Merge commit 'refs/users/meissner/heads/work152-dmf' of git
  3f5d064... Add ChangeLog.dmf and update REVISION.
  6870de0... Update ChangeLog.* (*)
  7d8e4c4... Power10: Add options to disable load and store vector pair. (*)

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