> 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.
Segher, ping?
