Change in jenkins[master]: fixing bug in repoversion for 4.1 and dropping fc23