Not necessary to duplicate info in tooltip

Authored by mlaurent on May 21 2019, 11:19 AM.

Description

Not necessary to duplicate info in tooltip

Details

Committed
mlaurentMay 21 2019, 11:19 AM
Parents
R86:c59f225c0db2: Use NotoColorEmoji font
Branches
Unknown
Tags
Unknown