News and updatesMiner: Dig DeepPatch for changing music volume12 Mar 2021·Developer post·Original post (opens in a new tab)Patch for changing music volumeThe volume of the music can now be changed from the options screen.