Fixed an issue while checking the major version of servers in schema diff. Branch ------ master
Details ------- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=a60cfd3cc33a9ba0486ae4fb517ea8187ebf8fda Author: Huang Jun <huangj.f...@cn.fujitsu.com> Modified Files -------------- web/pgadmin/tools/schema_diff/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)