Skip to content

Fix DocumentChange.newIndex#4080

Merged
schmidt-sebastian merged 2 commits intomasterfrom
mrschmidt/newindex
Nov 17, 2020
Merged

Fix DocumentChange.newIndex#4080
schmidt-sebastian merged 2 commits intomasterfrom
mrschmidt/newindex

Commits

Commits on Nov 17, 2020