1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-21 16:02:15 +03:00

Repair name.

This commit is contained in:
Peter Eisentraut
2003-12-16 09:47:55 +00:00
parent 3bc199cd6c
commit f57832f646