Thanks Stas! On Tue, Jun 9, 2020 at 10:39 PM Stanislav Malyshev <smalys...@gmail.com> wrote:
> Hi! > > > Please could someone add an FPM label to github. FPM is a bit on its own > > and the FPM PR's are usually quite independent from other PR's so I think > > it would make sense. Mainly it would help me with filtering and keeping > > track of FPM PR's. > > Done: https://github.com/php/php-src/labels/FPM > > > -- > Stas Malyshev > smalys...@gmail.com >