On 2023-07-03 11:02 UTC, Paul Hoffman wrote:
> On Jul 3, 2023, at 11:19 AM, Peter van Dijk
> wrote:
>>
>> On Mon, 2023-07-03 at 10:50 +0200, Peter van Dijk wrote:
>>> On Fri, 2023-06-30 at 16:32 +, Paul Hoffman via dnsdir wrote:
The current wording at the end of 4.6.9 is:
But
On Jul 3, 2023, at 11:19 AM, Peter van Dijk wrote:
>
> On Mon, 2023-07-03 at 10:50 +0200, Peter van Dijk wrote:
>> On Fri, 2023-06-30 at 16:32 +, Paul Hoffman via dnsdir wrote:
>>> The current wording at the end of 4.6.9 is:
>>>But if `R` is unsuccessful (e.g. timeout or connection
On Mon, 2023-07-03 at 10:50 +0200, Peter van Dijk wrote:
> On Fri, 2023-06-30 at 16:32 +, Paul Hoffman via dnsdir wrote:
> > The current wording at the end of 4.6.9 is:
> > But if `R` is unsuccessful (e.g. timeout or connection closed):
> >
> > I believe that changing that to the following
On Fri, 2023-06-30 at 16:32 +, Paul Hoffman via dnsdir wrote:
> The current wording at the end of 4.6.9 is:
> But if `R` is unsuccessful (e.g. timeout or connection closed):
>
> I believe that changing that to the following would fix the problem you
> describe:
> But if `R` is
