Wikipedia
Biopitting
Biopitting is a geologic phenomenon that occurs when small pits are created in rock as a result of the bioerosion induced by different organisms and/or microorganisms (for example, fungi, bacteria, algae, lichens). This phenomenon occurs when the organisms grow on or near the surface of rocks.