Earlier in the day, the DPR office in JCCC said that Ukrainian forces had shelled Donetsk, with emergency services saying that at least one person had been killed.
"The DPR office in JCCC has received the information on civilian casualties as of 12:00 p.m. [local time, 09:00 GMT], July 31. According to preliminary data [...] two people have died [in the Voroshylovskyi distict of Donesk]. 10 more people have been injured [...] In the Kuibyshevskyi district [...] a woman has died," the office wrote on Telegram.