omit PgVersion diff on sync#860

Merged

FxKu merged 3 commits intomasterfrom

version-change-error

Mar 13, 2020

Commits on Mar 9, 2020

use PostgresParam.PgVersion everywhere
FxKu
committed

Commits on Mar 10, 2020

on sync compare pgVersion with SpiloConfiguration
FxKu
committed

Commits on Mar 13, 2020

update getNewPgVersion and added tests
FxKu
committed