doc: use FILTER in aggregate example
authorBruce Momjian
Thu, 1 Sep 2022 02:19:06 +0000 (22:19 -0400)
committerBruce Momjian
Thu, 1 Sep 2022 02:19:06 +0000 (22:19 -0400)
commit6a27e2f5339479debb6ac79c2dfcdbf7f8bc695c
treef905bf9ec26ab9b2fe19eaa8f182c30f5b57490e
parent8dc12a9b64e9e2f49bcbc52fd69e7296529ff315
doc:  use FILTER in aggregate example

Reported-by: [email protected]
Discussion: https://postgr.es/m/163499710897.684.7420075366995883688@wrigleys.postgresql.org

Backpatch-through: 10
doc/src/sgml/query.sgml