Skip to content

fix(MTD): changed tooltip of refresh research so it describe what is currently doing#3367

Merged
Christophe-Ramet merged 1 commit intofix/ginco-2.14from fix/2-14-change-tooltip-refresh-researchFeb 6, 2025