Change in jenkins[master]: repos-check-closure: move master from f24 to f25