News and updatesMiner: Dig DeepPatch for a crash10 Feb 2022·Developer post·Original post (opens in a new tab)Patch for a crashThis is a small update to fix a crash that was reported. Thank you to the person who reported the problem!