[Page S5229]
From the Congressional Record Online through the Government Publishing Office [www.gpo.gov]


                        House of Representatives

The House was not in session today. Its next meeting will be held on 
Friday, August 7, 2020, at 10 a.m.

                   _________________________________