Re: [PATCH] Configure: removed unneeded header from UDP_SEGMENT test

2023-01-23 Thread Maxim Dounin
Hello! On Mon, Jan 23, 2023 at 04:28:50PM +0400, Roman Arutyunyan wrote: > On Mon, Jan 23, 2023 at 05:57:40AM +0300, Maxim Dounin wrote: > > # HG changeset patch > > # User Maxim Dounin > > # Date 1674439261 -10800 > > # Mon Jan 23 05:01:01 2023 +0300 > > # Node ID ec26874c3f60b115eea5a75b3

Re: [PATCH] Configure: removed unneeded header from UDP_SEGMENT test

2023-01-23 Thread Roman Arutyunyan
On Mon, Jan 23, 2023 at 05:57:40AM +0300, Maxim Dounin wrote: > # HG changeset patch > # User Maxim Dounin > # Date 1674439261 -10800 > # Mon Jan 23 05:01:01 2023 +0300 > # Node ID ec26874c3f60b115eea5a75b383aaa482837e628 > # Parent 07b0bee87f32be91a33210bc06973e07c4c1dac9 > Configure: remov