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".