Change in jenkins[master]: Drop Fedora 19 support