Docs: Add notes about using AttributeElement's priority and id attributes in mentions.#6739

Merged

Reinmar merged 4 commits intomasterfrom i/6587

May 22, 2020

+64-25

Commits on May 5, 2020

Docs: Add notes about using AttributeElement's priority and id attributes in mentions.
jodator
committed

Commits on May 14, 2020

Merge branch 'master' into i/6587
Reinmar
committed

Commits on May 22, 2020