=?UTF-8?Q?Juan_Jos=C3=A9_Santamar=C3=ADa_Flecha?= <juanjo.santama...@gmail.com> writes: >> Could you verify that there are no complaints now with HEAD? >> I might've fat-fingered something.
> Nothing gets reported with current HEAD.
OK, thanks for checking!
regards, tom lane
