NOTE TO READERS

Due to the July 4 holiday, there will not be a July 4 edition of The Times-News. The newspaper’s website, thetimesnews.com, will be updated as usual, and those stories will appear in the July 6 edition of The Times-News.