On Sat, Oct 26, 2019 at 07:57:14PM +0000, Noah Misch wrote:> Fix copy-paste defect in comment.> > Commit a7471bd85c05f849e88d6cfe9da3c795008e8f2e introduced it.
Thanks, Noah.--Michael