Hi,
>> >> 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.
