DOKK / manpages

Man pages matching name pgpool_set in section 1:

PGPOOL_SET.1.en debian 11 / pgpool2
PGPOOL_SET.1.en debian 12 / pgpool2