On 24 Jan 2022, at 11:37, Ruediger Pluem <[email protected]> wrote:

> How is the above related to this commit?

Yuck, it’s not. Taken out in r1897408.

Regards,
Graham
—

Reply via email to