tree a3bdb01cd46f2af7577ecc444e30f6273a626e9e
parent fd5d5a899eaf63f5dbd86d72df14d4c6c2a9ff3b
author Victor Loh <vloh@fb.com> 1720508417 -0700
committer Wan-Teh Chang <wtc@google.com> 1720528865 -0700

Use proper API for figuring out configPropName