mirror of
https://github.com/postgres/postgres.git
synced 2025-04-25 21:42:33 +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.