Magnus Hagander <magnus@hagander.net> writes:
> Fix applied - exports.txt had a tab in it, instead of spaces, to
> separate the field from the number.
Hmm, maybe it would be better to fix whatever sed script is presuming
the form of the whitespace? Because otherwise we'll surely get bitten
again.
regards, tom lane