> On 15 Sep 2023, at 16:38, Nathan Bossart <nathandbossart(at)gmail(dot)com> wrote:
> this should use errdetail() instead of errhint(). In
> the provided patch, the new message explains how the module is not
> configured. It doesn't hint at how to fix it (although presumably one
> could figure that out pretty easily).
Fair point, I agree with your reasoning that errdetail seems more appropriate.
--
Daniel Gustafsson