v8.1.2234
3f39697b · patch 8.1.2234: get_short_pathname() fails depending on encoding ·