Many files:
  Update version information in ChangeLogs, release notes,
  documentation, etc.  for release of version 1.13.

26 files changed