upstream/20220613.387d323

Ben Hutchings

@benh

387d323d · Mines: fix a typo in a comment. · Jun 12, 2022

Upstream version 20220613.387d323