Retired list, Army. Double-time credits in determining retired pay, report to accompany H. R. 1512 [to amend sec. 9 of pay readjustment act of 1942 (Public law 607) by providing for computation of double-time credits awarded between 1898 and 1912 in determining retired pay of enlisted men with credit for 30 years' service in Army. Navy, or Marine Corps]; submitted by Mr. Brooks.