[Page S2331]
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 
Tuesday, May 12, 2020, at 12 p.m.

                   _________________________________