3 ms·
Where are you getting this from? JiaT75 reviewed a pull request by xry111 including said optimization (which hadn't yet been merged), that's all.
by yorwba 3y ago
Where are you getting this from? JiaT75 reviewed a pull request by xry111 including said optimization (which hadn't yet been merged), that's all.
- acdha 3y agoI saw https://news.ycombinator.com/item?id=39866716 https://news.ycombinator.com/item?id=39866716 yesterday but subsequent comments actually linked to it and a quick trip to the internet archive says you’re right.