Dallas enacted the first of three mandatory furlough days on Friday, and residents hoping to spend summer hours at public libraries were disappointed to find them closed.

July 10 Dallas furlough day What we know: Several Dallas buildings, services and utilities were closed July 10, the first of three scheduled unpaid furlough days the city has scheduled.

Offices and facilities that were closed included Dallas City Hall, public libraries, and cultural centers.