Skip to content
Unverified Commit f96f977e authored by Henk Verlinde's avatar Henk Verlinde Committed by GitHub
Browse files

Merge pull request #517 from schnerring/improve-flexsearch-feedback 

Improve flexsearch feedback
parents ee6b5c4c 4d9221d7
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment