[Congressional Record Volume 164, Number 117 (Thursday, July 12, 2018)]
[Senate]
[Page S4924]
From the Congressional Record Online through the Government Publishing Office [www.gpo.gov]




                       RESERVATION OF LEADER TIME

  The PRESIDING OFFICER. Under the previous order, the leadership time 
is reserved.

                          ____________________