Am 28.08.2018 um 13:15 schrieb 066ce286(at)free(dot)fr:> Maybe it'll be wise to dump/restore ?>yes, that may be one option. pg_dump is running right now.