> On Jan 14, 2020, at 7:55 AM, Alex Shi <alex.shi@xxxxxxxxxxxxxxxxx> wrote: > > This macro are never used in git history. So better to remove. When removing unused thingy, it is important to figure out which commit introduced it in the first place and Cc the relevant people in that commit.
