čt 17. 3. 2022 v 12:06 odesílatel Dominique Devienne <ddevie...@gmail.com> napsal: > > On Thu, Mar 17, 2022 at 11:38 AM Pavel Stehule <pavel.steh...@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. >