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

Reply via email to