Good News for Gov. Employees’ Retirement System