Fix #12772 (GUI: information messages are shown even though information tool button is deselected)#6440

danmar merged 1 commit intocppcheck-opensource:maincppcheck-opensource/cppcheck:mainfrom

cppchecksolutions:fix-12772cppchecksolutions/cppcheck:fix-12772Copy head branch name to clipboard