Обсуждение: pgsql: Add header forgotten in 213335c14529a8d5e2007ec0c256f4cf64d62d3b

Add header forgotten in 213335c14529a8d5e2007ec0c256f4cf64d62d3b

Report from Peter Eisentraut

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/d63a1720fa0b2ca8452c3a2aa2f6ddbb4f05b640

Modified Files
--------------
src/backend/utils/adt/tsvector_op.c |    1 +
1 file changed, 1 insertion(+)