Change in jenkins[master]: repos-check-closure: add 4.1 repos