mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
863652f480
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`.