United States Code Title 5 — Government Organization and Employees [§ 5380. Repealed. Pub. L. 102–378, § 8(a), Oct. 2, 1992, 106 Stat. 1359] [§ 5380. Repealed. Pub. L. 102–378, § 8(a), Oct. 2, 1992, 106 Stat. 1359]