§ 8-34-715. Retirement credit for state judges.
Notwithstanding any other law to the contrary, a state judge shall receive full retirement credit for service rendered after such judge's seventieth birthday.