That was actually necessary. We don't want to build a huge backlog.
On Tue, Dec 31, 2019 at 1:32 PM Gregory Nutt <spudan...@gmail.com> wrote: > > I propose that I merge all PRs under the "old workflow" so that we can > start the New Year with a clean slate. Let me know if anyone is opposed. > >