Hi,
On 2019-10-13 13:44:59 +1300, Thomas Munro wrote:
> On Sun, Oct 13, 2019 at 1:06 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> > I don't think any further proof is required that this is
> > a kernel bug. Where would be a good place to file it?
>
> linuxppc-dev@lists.ozlabs.org might be the right place.
>
> https://lists.ozlabs.org/listinfo/linuxppc-dev
Probably requires reproducing on a pretty recent kernel first, to have a
decent chance of being investigated...
Greetings,
Andres Freund