-
Rolf Eike Beer authored
While at it change some single character additions to be of type char.
da26b3be
A GitLab update will be applied on April 24th, between 8am and 10am, EST (UTC-05:00). This site may have intermittent delays during that time.
While at it change some single character additions to be of type char.