Tatsuo Ishii wrote: > More question. Who is in charge of updating HISTORY? I see no commit > messages for this.
It is a generated file. -- Alvaro Herrera http://www.CommandPrompt.com/ PostgreSQL Replication, Consulting, Custom Development, 24x7 support ---------------------------(end of broadcast)--------------------------- TIP 5: don't forget to increase your free space map settings