17:52:17 .merge+ 8842 8846 17:52:17 Added 17:52:31 luigi1111w: do you have time to merge 8842 and 8846 to fix CI? 17:59:07 hey, tobtoht has helped identify the proxy DNS leak i had asked about a few weeks ago and issued this PR: https://github.com/monero-project/monero/pull/8854 18:01:56 im currently testing it on android and it would be great to get some reviews 19:38:22 yes