Issue/2726#13

Merged

JJJ merged 6 commits intomasterfrom

Jul 22, 2020

Commits on Oct 15, 2016

use a tag instead of abbr tag for search-choice-close
koenpunt
committed

Commits on Jul 22, 2020

Merge branch 'master' into issue/2726
JJJ
committed