Change in jenkins[master]: Drop Fedora builds on 3.5