doc: use FILTER in aggregate example

Bruce Momjian <bruce@momjian.us>

Commit: 994667f899c70c668b407223c9a7054a85c98faf
Author: Bruce Momjian <bruce@momjian.us>
Date: 2022-09-01T02:19:05Z
Releases: 12.13
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