Yoni Rabkin <y...@rabkins.net> writes: > Please go ahead and merge into main. All else being equal, I'll wait for > one month and release 17.
Fair enough, merged and pushed. Thanks, Petteri
Yoni Rabkin <y...@rabkins.net> writes: > Please go ahead and merge into main. All else being equal, I'll wait for > one month and release 17.
Fair enough, merged and pushed. Thanks, Petteri