House reports on public bills, 88th Congress. 1726. Increasing retirement salaries of certain retired District of Columbia judges. Report from Committee on District of Columbia to accompany H.R. 12198.