14:14:06 .merges 14:14:06 -xmr-pr- 9380 9435 14:14:19 .merge+ 9517 9499 14:14:19 Added 14:14:46 luigi1111: please merges whenever you have time, 9517 9499 should finally fix CI 14:16:30 .merges 14:16:30 -xmr-pr- 9380 9435 9499 9517 14:17:01 that was quick