SQL comment: remove extra word in heading comment

Bruce Momjian <bruce@momjian.us>

Commit: df4c9044406f1e907268930dd12ba6c3642d21dd
Author: Bruce Momjian <bruce@momjian.us>
Date: 2019-01-25T23:57:21Z
Releases: 12.0
SQL comment:  remove extra word in heading comment

Reported-by: Daniel Gustafsson

Discussion: https://postgr.es/m/431D5BC1-9696-43FA-B54C-39D5503EB753@yesql.se

Backpatch-through: master

Files

PathChange+/−
src/tutorial/advanced.source modified +1 −1