V9.12 Fix the lnk1189 problem#4596

xingfutuhuangdi wants to merge 3 commits intogoogle:stablegoogle/or-tools:stablefrom

xingfutuhuangdi:v9.12_qiuchunxingfutuhuangdi/or-tools:v9.12_qiuchunCopy head branch name to clipboard