planner, privilege: check user priv on SET GLOBAL#8837

Merged

morgo merged 7 commits intopingcap:masterfrom morgo:set-permission-check

Jan 5, 2019

+18

Commits on Dec 26, 2018

planner, privilege: check user priv on SET GLOBAL
morgo
committed

Commits on Dec 28, 2018

Commits on Jan 4, 2019

Commits on Jan 5, 2019

Merge branch 'master' into set-permission-check
ngaut
authored