--- Log opened Fri Jun 11 00:00:35 2021
00:23 -!- rjected [~rjected@2001:470:69fc:105::949] has joined #utreexo
12:31 < adiabat> OK I can merge the CI thing as soon as it's marked ready, looks good
12:31 < adiabat> I thought flatterttl worked OK but will check it / fix it
22:45 < calvinalvin> PR #275 is ready to be merged now
--- Log closed Sat Jun 12 00:00:35 2021