Commit 28239be33d4f55228c9088d070c7cd7b9b6628ad

Patrick Steinhardt 2018-11-13T13:27:41

Merge pull request #4818 from pks-t/pks/index-collision Index collision fixes