--- Log opened Mon Apr 18 00:00:59 2022
00:34 < darosior> sanket1729: also if you have time i'd love your input on the proposed fix to the bug andytoshi reported: last commit of https://github.com/sipa/miniscript/pull/117
07:11 < darosior> sipa: like for the Miniscript repo PR i rebased the Bitcoin Core branch i had for the type system fix and opened a PR at https://github.com/bitcoin/bitcoin/pull/24906
07:17 <@sipa> @darosior Thanks, will ACK there soon as well.
07:17 <@sipa> I also pushed the change to the website (incl. compiler)
08:05 -!- roconnor [~roconnor@coq/roconnor] has joined ##miniscript
11:20 < sanket1729> darosior: Will look at it today
11:53 < darosior> sanket1729: cool can i ping you too on Bitcoin PRs on Miniscript?
11:54 < sanket_cell> Sure
11:55 < sanket_cell> I am still reviewing the first PR after it's merged. Almost through, need cross check op-code counting and script size calculations 
15:27 -!- shesek [~shesek@user/shesek] has joined ##miniscript
17:21 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
17:21 -!- shesek [~shesek@user/shesek] has joined ##miniscript
18:38 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
18:38 -!- shesek [~shesek@user/shesek] has joined ##miniscript
19:18 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
19:18 -!- shesek [~shesek@user/shesek] has joined ##miniscript
19:56 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
19:56 -!- shesek [~shesek@user/shesek] has joined ##miniscript
20:19 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
20:19 -!- shesek [~shesek@user/shesek] has joined ##miniscript
20:49 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
20:49 -!- shesek [~shesek@user/shesek] has joined ##miniscript
21:05 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
21:05 -!- shesek [~shesek@user/shesek] has joined ##miniscript
21:51 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
21:51 -!- shesek [~shesek@user/shesek] has joined ##miniscript
22:10 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
22:10 -!- shesek [~shesek@user/shesek] has joined ##miniscript
22:24 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
22:25 -!- shesek [~shesek@user/shesek] has quit [Remote host closed the connection]
22:27 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
22:30 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
22:32 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
22:33 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
22:41 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
22:41 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
22:54 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
22:54 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
23:18 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
23:18 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
23:47 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
--- Log closed Tue Apr 19 00:00:59 2022