On Thu, Jul 8, 2021 at 8:48 AM Daniel Gustafsson <dan...@yesql.se> wrote: > > 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.
Thanks! I made the comments slightly more uniform and pushed.
