> On 15 Sep 2023, at 16:38, Nathan Bossart <nathandboss...@gmail.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