It doesn't look Repunched at all And it definitely can't be doubled because mint marks cannot be doubled die during that year because they were added to each die by hand. This is an old picture of a Mint Employee stamping the mint mark into the die True doubling occurs during the hubbing (creation) of the die.
