Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Binary SDK 2.0.12 stable

diff --cc .appveyor.yml
index cfa751b68ab3b4ed388cf6b419f6d45ceac2852a,85a7c002ccd21752b57ed8c69a5e0cc1f9ec426a..c77149183212b87c39b2df9020f7c42d147056f9
--- 1/.appveyor.yml
--- 2/.appveyor.yml
+++ b/.appveyor.yml
@@@ -24,8 -24,7 +24,8 @@@ environment
          PHP_BUILD_CACHE_BASE_DIR: c:\build-cache  
          PHP_BUILD_OBJ_DIR: c:\obj
          PHP_BUILD_CACHE_SDK_DIR: c:\build-cache\sdk
-         PHP_BUILD_SDK_BRANCH: php-sdk-2.0.12beta3
+         PHP_BUILD_SDK_BRANCH: php-sdk-2.0.12
 +        PHP_BUILD_CRT: vc15
          # ext and env setup for tests
          #MYSQL_TEST_PASSWD: Password12!
          #MYSQL_TEST_USER: root