> Cc: debian-powerpc <debian-powerpc@lists.debian.org>, 65978@debbugs.gnu.org > From: Andrea Corallo <acorallo@gnu.org> > Date: Thu, 07 Mar 2024 13:42:38 -0500 > > John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de> writes: > > Hi John, > > I *think* this should be fixed. Could you verify and let us know if you > still see the issue? Ping! John, could you please verify the fix? Thanks.