Providing for service credit in the correctional employees retirement plan ofthe Minnesota state retirement system (MSRS) in lieu of the state retirementsystem general plan for a certain former employee of the department ofcorrections (ra)