Thread: pgsql: Recode non-ASCII characters in source to UTF-8

Recode non-ASCII characters in source to UTF-8

For consistency, have all non-ASCII characters from contributors'
names in the source be in UTF-8.  But remove some other more
gratuitous uses of non-ASCII characters.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/ba4cacf0756f71e175d25bac78834715a353e64e

Modified Files
--------------
contrib/README                       |    2 +-
contrib/spi/timetravel.c             |    2 +-
src/backend/port/dynloader/darwin.c  |    2 +-
src/backend/storage/lmgr/README-SSI  |    6 +++---
src/backend/storage/lmgr/predicate.c |    4 ++--
5 files changed, 8 insertions(+), 8 deletions(-)