Ok, change seems to be trivial enough to accept even without getting this merged upstream (most important is that there was no disagreement so far from the maintainers). I also don't expect anything to go bad since the constant bump is not too big anyway.
Ok, change seems to be trivial enough to accept even without getting this merged upstream (most important is that there was no disagreement so far from the maintainers). I also don't expect anything to go bad since the constant bump is not too big anyway.