15:07:41 .merges 15:07:41 -xmr-pr- 8786 8800 8840 8853 8868 8882 8890 8891 8913 8914 8924 8927 8941 8942 8950 8953 8955 8956 8957 8959 15:27:53 moneromooo 8942 conflicts 15:28:07 8941*' 15:30:26 * moneromooo goes in with a machete 15:35:56 Macheted. 15:42:05 chop chop 18:21:08 I’m not sure how this works but can we petition to have a pr merged or no? #8958 has been reviewed and approved. Could we have that merged Luigi? 19:18:18 I commented my concern on #8958 19:41:32 let's address that first 19:54:05 👍🏼 I’ll add performance information 20:57:46 added