Version 251.7 (rhbz#2135778, rhbz#2133792, rhbz#2115094)
    
    I tagged a new v251-stable version. The biggest patches there are the
    ones for rhbz#2135778, the rest is some minor cleanups and obvious build
    fixes. If the build succeeds, they are low-risk.