House reports on public bills, 88th Congress. 95. Status of circuit and district judges retired from regular active service. Report from Committee on Judiciary to accompany H.R. 2835.