Skip to main content
2 of 7
A little simplification of the description. This is in keeping with how I typically describe retagging on Meta, and I believe makes it easier to follow not to treat synonym creation as a separate event.
Cody Gray Mod
  • 244.2k
  • 84
  • 722
  • 764

Merge and synonym [r8] into [android-r8] and [d8-dexer] into [android-d8]

We got a request from Google to rename and remove the following duplicate tags:

Here's how I'm thinking to proceed with this:

This can be done easily in one click, without need for the community to do the work. However:

Folks active / vested in any of these tags: Will this break anything and/or are there any good reasons not to do so?

Cesar M StaffMod
  • 101
  • 4
  • 19
  • 32