On Mon, Jul 06, 2026 at 04:53:44PM +0900, JoongHyuk Shin wrote:
> I would rather drop the errhint from this patch entirely than fold it into
> the errdetail.
> Any objections?

Sounds good here to remove the errhint().  No hint is better than a
potentially wrong hint.  Thanks.
--
Michael

Attachment: signature.asc
Description: PGP signature

Reply via email to