House reports on public bills, 85th Congress. 2045. Amending and making permanent employees compensation and war-risk hazard benefits for certain employees outside United States. Report from Committee on Judiciary to accompany H. R. 12140.