sorry to second guess this announcement, but after the vote an issue was decided to be a blocker anyway. Please refrain from merging a while more, thanks.
On Mon, Jan 4, 2021 at 11:37 AM Daan Hoogland <daan.hoogl...@gmail.com> wrote: > Finally, both master and the new 4.15 branch are open for merging given > our merge guidelines. I wish all of us much productivity. > > -- > Daan > -- Daan