čt 17. 3. 2022 v 12:06 odesílatel Dominique Devienne
<ddevienne@gmail.com> napsal:
>
> On Thu, Mar 17, 2022 at 11:38 AM Pavel Stehule <pavel.stehule@gmail.com> wrote:
> >> Made a typo, [...], and got disconnected. Normal? --DD
> > I don't see any problem on master
>
> OK, good. Must have been fixed already then. Or was a fluke. Thanks
> for checking. --DD
I tried to reproduce with 14.2 client and latest 14, 13, 12 and 11
servers without luck.
>
