Yesterday I've took the decision not to propose anymore PR for Phobos bugfixes, even if most of the time it's easy.

1)

It can take up to 2 or 3 weeks until a "phobos bugfix" get merged. Even a straight one.

2)

Once a pr gets the label "@andrei". It basically means that "it's dead".

Reply via email to