On Thu, Jul 21, 2022 at 1:56 PM Randall Hauch <rha...@gmail.com> wrote: > Will you approve me merging the fix to the `3.3` branch for inclusion in > 3.3.0?
Yes. I approved this fix for 3.3.0. Randall merged it to the 3.3.0 branch. -- -José
On Thu, Jul 21, 2022 at 1:56 PM Randall Hauch <rha...@gmail.com> wrote: > Will you approve me merging the fix to the `3.3` branch for inclusion in > 3.3.0?
Yes. I approved this fix for 3.3.0. Randall merged it to the 3.3.0 branch. -- -José