Hi Arseny, On Mon, Jun 01, 2020 at 10:38:16AM +0700, Arseny Solokha wrote: > >>>>> PRs from the second group were filed by me, so if there's consensus to > >>>>> close all > >>>>> of them, the ones from this second group I can close myself. I don't > >>>>> have the > >>>>> right permissions to modify PRs reported by someone else, so I'd like > >>>>> to ask a > >>>>> volunteer to step up and close the ones from the first group. > >>>>> > >>>>> WDYT? > >>>> > >>>> I can do both, if you want, or just the first group? Your choice. > >>>> > >>>> But let's hear other opinions first. > >>> > >>> Thanks. I think I'll close the second group myself, as they constitute > >>> almost > >>> half of the total amount. > >> > >> Okido, thanks! > > > > Two full weeks have passed without any new input from either former port > > maintainer or global maintainers, so it's probably about time to go ahead > > and > > wrap it up. > > Segher, ping?
I have closed them all now (with your message, thanks for that, and thanks for your other work on this!) This all took "a while", but it is all finished now. Segher
