On Tue, Jan 14, 2020 at 08:46:21AM -0500, Qian Cai wrote: > > > > 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. No, it isn't. It is at best nice to have, but for a trivial macro really doesn't matter.
