]> granicus.if.org Git - postgresql/commit
SQL comment: remove extra word in heading comment
authorBruce Momjian <bruce@momjian.us>
Fri, 25 Jan 2019 23:57:21 +0000 (18:57 -0500)
committerBruce Momjian <bruce@momjian.us>
Fri, 25 Jan 2019 23:57:21 +0000 (18:57 -0500)
commitdf4c9044406f1e907268930dd12ba6c3642d21dd
tree9db3e2752116a1dcc2e0b925b44d91ce0c7adc65
parent18c0da88a5d9da566c3bfac444366b73bd0b57da
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
src/tutorial/advanced.source