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