mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
607f549b8e
The goal of `OriginalName` is to keep track of the original name of a symbol upon import. In future, this will also be used to promote it to `CustomName`.