On Tue, 21 Jun 2022 16:52:52 GMT, Joe Wang wrote:
> Some of the links cause redirection, iso.org in particular took 1-2 seconds,
> that looks like was longer than the wait time of the doccheck and docs link
> checker. Changed it to the current homepage to avoid redirection. Also
> changed othe
On Tue, 21 Jun 2022 16:52:52 GMT, Joe Wang wrote:
> Some of the links cause redirection, iso.org in particular took 1-2 seconds,
> that looks like was longer than the wait time of the doccheck and docs link
> checker. Changed it to the current homepage to avoid redirection. Also
> changed othe
On Tue, 21 Jun 2022 16:52:52 GMT, Joe Wang wrote:
> Some of the links cause redirection, iso.org in particular took 1-2 seconds,
> that looks like was longer than the wait time of the doccheck and docs link
> checker. Changed it to the current homepage to avoid redirection. Also
> changed othe
