Fix #3235: remote metadata is updated instead of delete + insert#3282

Merged

lenhard merged 4 commits intomasterfrom fix3235

Oct 13, 2017

+27-10

Commits on Oct 10, 2017

Fix #3235 : remote metadata is updated instead of delete + insert
tobiasdiez
authored

Commits on Oct 11, 2017