On 2023-May-11, Daniel Gustafsson wrote:
> > On 10 May 2023, at 19:54, Alvaro Herrera wrote:
> > Therefore, I propose to turn these messages into errmsg_internal(), so
> > that we do not translate them.
>
> AFAICT from following the code that seems correct, and I agree with removing
> them from
> On 10 May 2023, at 19:54, Alvaro Herrera wrote:
> ..as I understand, this cannot happen merely because of a full
> disk, because that should fail during _write_ of the file, not read.
> And no other user-caused causes should exist.
>
> Therefore, I propose to turn these messages into errmsg_i
