On Fri, Oct 7, 2022 at 9:14 PM Ruediger Pluem wrote:
>
> On 10/7/22 7:11 PM, Stefan Eissing via dev wrote:
> >
> >
> >> Am 07.10.2022 um 18:45 schrieb Yann Ylavic :
> >>
> >
> > Thanks, Yann, for the detailed explanation on how this works and that the
> > default does the right thing.
>
> +1. I m
On Mon, Oct 10, 2022 at 11:55 AM Yann Ylavic wrote:
>
> On Fri, Oct 7, 2022 at 9:14 PM Ruediger Pluem wrote:
> >
> > On 10/7/22 7:11 PM, Stefan Eissing via dev wrote:
> > >
> > >
> > >> Am 07.10.2022 um 18:45 schrieb Yann Ylavic :
> > >>
> > >
> > > Thanks, Yann, for the detailed explanation on h
On 10/10/22 6:35 PM, Eric Covener wrote:
> On Mon, Oct 10, 2022 at 11:55 AM Yann Ylavic wrote:
>>
>> On Fri, Oct 7, 2022 at 9:14 PM Ruediger Pluem wrote:
>>>
>>> On 10/7/22 7:11 PM, Stefan Eissing via dev wrote:
> Am 07.10.2022 um 18:45 schrieb Yann Ylavic :
>
Thank