On Tue, 6 Jul 2021 at 06:55, James Coleman <jtc...@gmail.com> wrote: > While re-reading this code I found a small typo and fixed it (making > the comment more explicit at the same time).
Thanks. Pushed (9ee91cc58). David
On Tue, 6 Jul 2021 at 06:55, James Coleman <jtc...@gmail.com> wrote: > While re-reading this code I found a small typo and fixed it (making > the comment more explicit at the same time).
Thanks. Pushed (9ee91cc58). David