Message328224
OK, so now we have two "competing" PRs. I think I like Serhiy's PR a bit more, since it is simpler. I would propose to look at benchmarks and then decide. Are there any other factors I am missing for choosing one or other approach? |
|
Date |
User |
Action |
Args |
2018-10-21 22:06:16 | levkivskyi | set | recipients:
+ levkivskyi, serhiy.storchaka, fish2000 |
2018-10-21 22:06:16 | levkivskyi | set | messageid: <1540159576.84.0.788709270274.issue34963@psf.upfronthosting.co.za> |
2018-10-21 22:06:16 | levkivskyi | link | issue34963 messages |
2018-10-21 22:06:16 | levkivskyi | create | |
|