doc: use FILTER in aggregate example

Bruce Momjian <bruce@momjian.us>

Commit: d55fdfb554348ffd8e3afc61d62523a8f7d4a78e
Author: Bruce Momjian <bruce@momjian.us>
Date: 2022-09-01T02:19:06Z
Releases: 13.9
doc:  use FILTER in aggregate example

Reported-by: michal.palenik@freemap.sk

Discussion: https://postgr.es/m/163499710897.684.7420075366995883688@wrigleys.postgresql.org

Backpatch-through: 10

Files

PathChange+/−
doc/src/sgml/query.sgml modified +7 −6

Documentation touched