bug#81514: 32.0.50; Eglot messages progress reporter shows errors

--000000000000754ca906582665ae
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

LGTM, closing.

-St=C3=A9phane

On Sun, Aug 2, 2026 at 6:40=E2=80=AFPM Jo=C3=A3o T=C3=A1vora <joaotavora@gm=
ail.com> wrote:

> Pushed.  I suppose this can be closed (unless St=C3=A9phane has more comm=
ents).
>
> Jo=C3=A3o
>
> On Sun, Aug 2, 2026 at 3:51=E2=80=AFPM Jacek =C5=9Awierk <jacekswierk@gma=
il.com> wrote:
> >
> > Works fine.
> >
> > On 8/2/26 3:27 PM, Jo=C3=A3o T=C3=A1vora wrote:
> > > Can you try this patch?  It also includes the "cleanup progress
> > > reporters on server death".
>
>
>
> --
> Jo=C3=A3o T=C3=A1vora
>

--000000000000754ca906582665ae
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:monospac=
e">LGTM, closing.</div><div class=3D"gmail_default" style=3D"font-family:mo=
nospace"><br></div><div class=3D"gmail_default" style=3D"font-family:monosp=
ace">-St=C3=A9phane=C2=A0</div></div><br><div class=3D"gmail_quote gmail_qu=
ote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Sun, Aug 2, 2026 at=
 6:40=E2=80=AFPM Jo=C3=A3o T=C3=A1vora &lt;<a href=3D"mailto:joaotavora@gma=
il.com">[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"g=
mail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204=
,204,204);padding-left:1ex">Pushed.=C2=A0 I suppose this can be closed (unl=
ess St=C3=A9phane has more comments).<br>
<br>
Jo=C3=A3o<br>
<br>
On Sun, Aug 2, 2026 at 3:51=E2=80=AFPM Jacek =C5=9Awierk &lt;<a href=3D"mai=
lto:[email protected]" target=3D"_blank">[email protected]</a>&gt; =
wrote:<br>
&gt;<br>
&gt; Works fine.<br>
&gt;<br>
&gt; On 8/2/26 3:27 PM, Jo=C3=A3o T=C3=A1vora wrote:<br>
&gt; &gt; Can you try this patch?=C2=A0 It also includes the &quot;cleanup =
progress<br>
&gt; &gt; reporters on server death&quot;.<br>
<br>
<br>
<br>
-- <br>
Jo=C3=A3o T=C3=A1vora<br>
</blockquote></div>

--000000000000754ca906582665ae--