Merge branch 'release-0.11.25' into develop
Release 0.11.25, including features for submission pipeline
change the version number to next snapshot version
Merge branch 'master' into develop
Merge branch 'master' into develop
check jmzml version number
add search result label to the search panel
change library versions
merge master and develop branch
merge with master
extend decoy filter to charts
merge with master branch
Merge branch 'develop'