Merge pull request #2498 from dezinjob/fix-option-replacement-vs
authorgreg-lunarg <greg@lunarg.com>
Thu, 7 Jan 2021 02:29:37 +0000 (19:29 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Jan 2021 02:29:37 +0000 (19:29 -0700)
commit3de5cfe50edecd001e6d703555284d9b10b3dd57
tree8bf319b70d1846dad9e0320a238298ae6e08a7d0
parent480f6039e072cced267e79a46366fc5caaa5c90a
parent78dbd7514af2111d2a9beaaf1cd4ce7f57e9a172
Merge pull request #2498 from dezinjob/fix-option-replacement-vs

Fix option replacement when flags are empty