To slightly improve performance, we should use StringBuilder.append(char) instead of StringBuilder.append(String) whenever we append a single character to the builder.
See also: #25056
To slightly improve performance, we should use StringBuilder.append(char) instead of StringBuilder.append(String) whenever we append a single character to the builder.
See also: #25056