mirror of
https://github.com/postgres/postgres.git
synced 2025-05-11 05:41:32 +03:00
The command we're telling people to type needs to include double-quoting around the unfortunately-chosen extension name. Twiddle the textual quoting so that it looks somewhat sane. Per gripe from roadrunner6.