Another no-change release for Ubuntu
releasing 3.17
opening 3.18