User talk:PetrPro

RE: Comma after quotation mark
The comma is fine as is, but your edit removed a quotation mark when there should be two pairs there. 09:15, June 6, 2023 (EDT)

So, no need to change this? PetrPro (talk) 12:44, June 6, 2023 (EDT)