-
Christian Persch authored
Terminal recently changed to storing nullptr instead of "UTF-8". Make the public accessor continue to return "UTF-8" instead.
3a36e1da
Terminal recently changed to storing nullptr instead of "UTF-8". Make the public accessor continue to return "UTF-8" instead.