Skip to content

Adds search history#9659

Closed
paulinegarelli wants to merge 7 commits intoJabRef:mainfrom Kawbat:7906-record-search-history