Merge pull request #67826 from joncojonathan/veracrypt_1-23-h2
veracrypt: 1.23 -> 1.23-hotfix-2
authored by Marek Mahut and committed by GitHub 6 years ago fc24debb 0988ac91