--- Log opened Sun Sep 04 00:00:10 2022
00:04 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has joined ##miniscript
00:37 -!- devrandom [~devrandom@2001:470:69fc:105::d4d] has joined ##miniscript
07:27 -!- michaelfolkson2 is now known as michaelfolkson
--- Log closed Mon Sep 05 00:00:10 2022