Repair name.

This commit is contained in:
Peter Eisentraut 2003-12-16 09:46:12 +00:00
parent 009e072a3e
commit 655eb600de