GIN'GING, noun In mining, the lining of a mine-shaft with stones or bricks for its support, called steining or staining, which I suppose is from Sax. stan, stone.
Source: Webster's 1828 American Dictionary ↗ · public-domain · returned verbatim, no AI