On Mon, Nov 09, 2020 at 09:16:33AM +0200, Yedidyah Bar David wrote:
> On Wed, Oct 14, 2020 at 8:54 AM Yedidyah Bar David wrote:
> >
> > On Tue, Oct 13, 2020 at 8:40 PM Richard W.M. Jones
> > wrote:
> > >
> > > On Tue, Oct 13, 2020 at 07:56:29PM +0300, Nir Soffer wrote:
> > > > On Tue, Oct 13,
On Mon, Nov 9, 2020 at 11:03 AM Richard W.M. Jones wrote:
>
> On Mon, Nov 09, 2020 at 09:16:33AM +0200, Yedidyah Bar David wrote:
> > On Wed, Oct 14, 2020 at 8:54 AM Yedidyah Bar David wrote:
> > >
> > > On Tue, Oct 13, 2020 at 8:40 PM Richard W.M. Jones
> > > wrote:
> > > >
> > > > On Tue,