mirror of
https://github.com/postgres/postgres.git
synced 2025-08-09 17:03:00 +03:00
Fix build break, per report from Kris Jurka. Rename README to README.mysql,
for consistency.
This commit is contained in:
Reference in New Issue
Block a user