SECTION 1. Ronald a. Robinson Post Office.
Designation.— The facility of the United States Postal Service located at 5420 Kavanaugh Boulevard in Little Rock, Arkansas, shall be known and designated as the “Ronald A. Robinson Post Office”.
References.— Any reference in a law, map, regulation, document, or other record of the United States to the facility referred to in subsection (a) shall be deemed to be a reference to the “Ronald A. Robinson Post Office”.