[gcc/meissner/heads/work195-math] (3 commits) Merge commit 'refs/users/meissner/heads/work195-math' of gi

[Michael Meissner]

The branch 'meissner/heads/work195-math' was updated to point to:

 72b917ca07a5... Merge commit 'refs/users/meissner/heads/work195-math' of gi

It previously pointed to:

 a1f22f63351a... Merge commit 'refs/users/meissner/heads/work195-math' of gi

Diff:

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

  72b917c... Merge commit 'refs/users/meissner/heads/work195-math' of gi
  e75ec5d... Add ChangeLog.math and update REVISION.
  cc1582c... Update ChangeLog.* (*)

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