C comment: correct heading of extension query
authorBruce Momjian <bruce@momjian.us>
Tue, 3 Aug 2021 16:26:08 +0000 (12:26 -0400)
committerBruce Momjian <bruce@momjian.us>
Tue, 3 Aug 2021 16:26:08 +0000 (12:26 -0400)
commit9e51cc87fd0ac46b183cb7302a6751d52d3f159a
tree692924f6e9fde19c6d50d7a93c23375a06452ed7
parent95ab1e0a9db321dd796344d526457016eada027f
C comment:  correct heading of extension query

Reported-by: Justin Pryzby
Discussion: https://postgr.es/m/20210803161345.GZ12533@telsasoft.com

Backpatch-through: 9.6
src/bin/pg_upgrade/version.c