update score_tool#1440

masc2023 merged 1 commit intomaineclipse-score/score:mainfrom

masc2023_update_tool_evaluationeclipse-score/score:masc2023_update_tool_evaluationCopy head branch name to clipboard