Skip to content

Fix sort by priority (#6222)#6265

Merged
tobiasdiez merged 2 commits intoJabRef:masterfrom dextep:sort-by-priority-brokenApr 10, 2020

Commits

Commits on Apr 10, 2020