Category talk:Mining terminology

Contested deletion
This category should not be speedy deleted as being unpopulated, because I have been populating it; I am trying to weed out all the articles that have been added to the parent category:mining, and this is the right category for some of the terms. — Gorthian (talk) 22:36, 31 January 2016 (UTC)