40 U.S.C. § 1312: Release of real estate in certain cases

(a) In General.—Real estate that has become the property of the Federal Government in payment of a debt which afterward is fully paid in money and received by the Government may be conveyed by the Administrator of General Services to the debtor from whom it was taken or to the heirs or devisees of the debtor or the person that they may appoint. (b) Nonapplication.—This section does not apply to real estate the Government acquires in payment of any debt arising under the Internal Revenue Code of 1986 (26 U.S.C. 1 et seq.).