mirror of
https://github.com/postgres/postgres.git
synced 2025-08-30 06:01:21 +03:00
database, emit a WARNING and do nothing, rather than raising ERROR. Per recent discussion in which we concluded this is the best way to deal with database dumps that are reloaded into a database of a new name.