HomePhabricator

widget name change

Description

widget name change

Details

Provenance
neherAuthored on Jul 17 2020, 11:04 AM
neherPushed on Jul 17 2020, 11:00 AM
neherPushed on Jul 17 2020, 10:59 AM
Parents
rMITKDIFF108f4325ec45: Merge branch 'T27512-FixRenamingIssue'
Branches
Unknown
Tags
Unknown
References
T27567-GlyphIssue