RST opt.list to have priority over def.list#17845

Merged

narimiran merged 1 commit intonim-lang:develfrom a-mr:rst-optlist-vs-deflist

May 15, 2021

+28-2

Commits on May 4, 2021

RST opt.list to have priority over def.list
a-mr
committed