On Fri, 21 Mar 2025 15:09:14 -0400 Yoni Rabkin <[email protected]> wrote:
> Mike Kazantsev <[email protected]> writes: > > > Yeah, thanks, it looks great. > > > > Guess I can merge and push it, unless anyone spots any issues in a > > couple days? > > A scant 4 weeks, 6 days, and 21 hours later: Richard's paperwork is all > set. That is indeed "a couple of days" for certain values of "couple". > > Mike, can you please incorporate these changes into the main git repo? Yes, will do. Thanks. -- Mike Kazantsev // fraggod.net
