mirror of
https://github.com/MariaDB/server.git
synced 2026-05-04 22:25:32 +02:00
Merge branch '10.2' into 10.3
This commit is contained in:
commit
c9717dc019
140 changed files with 2186 additions and 2420 deletions
|
|
@ -94,7 +94,7 @@ time_t history_lock_time;
|
|||
|
||||
MYSQL *mysql_connection;
|
||||
|
||||
my_bool opt_ssl_verify_server_cert;
|
||||
extern my_bool opt_ssl_verify_server_cert, opt_use_ssl;
|
||||
|
||||
MYSQL *
|
||||
xb_mysql_connect()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue