K.Takata f741e3ec1f patch 9.0.1560: Win32: When 'encoding' is set $PATH has duplicate entries ...

Problem:    Win32: When 'encoding' is set $PATH has duplicate entries.
Solution:   Only append the directory if it is not there yet. (Ken Takata,
            closes #12400, closes #12372)

2023-05-15 16:41:40 +01:00

212 KiB

Raw Blame History

View Raw