Skip to content

Use product name on rich document, if available#3971

Merged
tobiasKaminsky merged 2 commits intomasterfrom
richDocumentsProductName
May 23, 2019
Merged

Use product name on rich document, if available#3971
tobiasKaminsky merged 2 commits intomasterfrom
richDocumentsProductName

Commits

Commits on May 23, 2019