Closed shlomif closed 1 week ago
Just for the record: I detected another issue of using "Where where" instead of "Where" in two of the same files
Just for the record: I detected another issue of using "Where where" instead of "Where" in two of the same files
Do you want to add that fix to this PR? (I.e. should I wait on landing this?)
Just for the record: I detected another issue of using "Where where" instead of "Where" in two of the same files
Do you want to add that fix to this PR? (I.e. should I wait on landing this?)
I'd rather the change will be merged as-is, and I will prepare a new pull-request (to make it a single-purpose commit).
Not tested (given my computer at home has only 8 GB of RAM)