Even if "mesa" biome was renamed to "badlands" in 1.13, a mineshaft structure type is still called "mesa" (the other type being "normal").
Should be renamed to "badlands" for consistency
Attachments
Comments 12
And you are basing this info about the code on what source? Minecraft is not an open source application.
Where exactly does the old term still show up?