j
k
j a
j l
On 2026-07-05 10:27, Tom Lane wrote:
Perhaps it would be appropriate to report the original error, and then try the remove() and warn if that fails?
Thanks, good suggestion. I installed the attached proposed patch.
Attachments:
Back to the thread
Back to the list