Windows static pr#454

rickwebiii wants to merge 2 commits intomicrosoft:mainmicrosoft/SEAL:mainfrom

rickwebiii:windows_static_prrickwebiii/SEAL:windows_static_prCopy head branch name to clipboard