[optimization] We don't need to visit all the elements of the stream,…#1154
Open
dk2k wants to merge 1 commit into
Open
[optimization] We don't need to visit all the elements of the stream,…#1154dk2k wants to merge 1 commit into
dk2k wants to merge 1 commit into