Section 1 Designation
The Federal building and United States courthouse located at 511 East San Antonio Avenue in El Paso, Texas, shall be known and designated as the “R.E. Thomason Federal Building and United States Courthouse”.
AN ACT
To designate the Federal building and United States courthouse located at 511 East San Antonio Avenue in El Paso, Texas, as the R.E. Thomason Federal Building and United States Courthouse.