mirror of
https://github.com/postgres/postgres.git
synced 2025-12-24 06:01:07 +03:00
Label CVS tip as 8.0devel instead of 7.5devel. Adjust various comments
and documentation to reference 8.0 instead of 7.5.
This commit is contained in:
Reference in New Issue
Block a user