4ef392906b
The interface of std::string already lets us append N copies of a character to an existing string.
The interface of std::string already lets us append N copies of a character to an existing string.