IRC channel logs
2025-02-20.log
back to list of logs
<rlb>daviid: ok, I'll try to get some time, but I don't really even know if I'm right about things... <daviid>rlb: yes, thanks! the important thing here is to make progress - they will answer your concerns, I think they will ... tx <rlb>The main issue is that I'm not sure I want to, or should, or can be the single, more substantive reviewer here. <rlb>(At a minimum, I'd need to come back up to speed wrt the relevant gmp bits, and or any performance differences that might matter.) <rlb>In any case, it may be a few days, but I'll plan to try to "do something", and feel free to ping me if it looks like I wandered off. <daviid>rlb: fine, just write that in the email - that you are offering 'food for thought' but do not want anyone reading the response to assume you will provide time for a deep review till a merge can occur ... <ArneBab>rlb: any review is better than silence, and you bring useful points. <ArneBab>rlb: I saw it just now (that’s why I opened up the IRC tool) — thank you very much! <rlb>(hope it's not too far off)