> On 3 Jun 2021, at 04:07, Thomas Munro <thomas.mu...@gmail.com> wrote:
> Here's a patch to remove the misleading comments. While not an expert in the area; reading the referenced commit and the code with the now removed comments, I think this is correct. -- Daniel Gustafsson https://vmware.com/