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