Why there is a need for this topic? You all have read it: If you have a bug then file it on Github, not here. If it is critical it is the decision of the maintainer or developer. ((Then you will get a “stable” but maybe faulty 2.5.0 release.)) Over and out.
EDIT: Only then it’s ensured that bug tracking takes place.