1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

mysql-5.1 -> mysql-5.5 merge

This commit is contained in:
Sergei Golubchik
2010-11-05 10:59:51 +01:00
94 changed files with 2028 additions and 1160 deletions

View File

@ -19,7 +19,7 @@
# #
################################################################################
let $save_div_precision_increment = `SELECT @@global.div_precision_increment`
let $save_div_precision_increment = `SELECT @@global.div_precision_increment`;
#SET @save_div_precision_increment = @@global.div_precision_increment;