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)
commit47a573d9113e18864dcb637b72ee3ac1a9ec6b5e
tree875a68306983ee071966ac0fdfb5028aa5539e4a
parent1dd84002060cc2cdc20b6cebd0f6bb2b56c7b35b
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