Customers at the Barbara Bush Branch Library on the day it reopened to the public