Skip to content

v8.1.1514

v8.1.1514: patch 8.1.1514: MS-Windows: wrong shell command with ! in 'guioptions'
@brammool brammool tagged this 10 Jun 12:46 
Problem:    MS-Windows: wrong shell command with ! in 'guioptions'.
Solution:   Do not check for ! in 'guioptions' when applying 'shellxquote'.
            (Yasuhiro Matsumoto, closes #4519)
Assets 2