Bug in Postrgresql 7.2 migrating from 7.1.3

Hello,

I discovered a bug in the connect statements of postgresql 7.2. After a
pg_dumpall in postgresql 7.1.3, upgrading to Postgresql 7.2 and an
initdb, the following lines from the script, generated by pg_dumpall,
cause a problem:

---
\connect template1 postgres
CREATE DATABASE "iBBS-oud" WITH TEMPLATE = template0 ENCODING =
'SQL_ASCII';
\connect iBBS-oud postgres
---

The database replies with:

FATAL 1: Database "ibbs-oud" does not exist in the system catalog.

The reason is, that the database is called "iBBS-oud" and not
"ibbs-oud". The script contains the correct name of the database, but
postgres seems to convert "iBBS-oud" to "ibbs-oud" internally.

It is however possible to connect to this database by means of starting
psql with "psql -U postgres iBBS-oud". Connect statements in postgres
itself all fail.

Kind regards and keep up the good work,

Ruud van den Brink.