v9.0.0040
b67f0c8e · patch 9.0.0040: use of set_chars_option() is confusing ·