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