Remove duplicate punctuation (#10004)
authored by DS Boyce and committed by GitHub 1 week ago 1a487d09 1ae77aa9