Merge remote-tracking branch 'upstream/master'

code/modules/admin/admin_verbs.dm

@@ -462,7 +462,7 @@
 	return
 
 /client/proc/playernotes()
-	set name = "Display Player Info"
+	set name = "Show Player Info"
 	set category = "Admin"
 	if(holder)
 		holder.PlayerNotes()

code/modules/mining/mine_turfs.dm

@@ -320,7 +320,7 @@
 		playsound(src.loc, 'rustle1.ogg', 50, 1) //russle sounds sounded better
 
 		sleep(50)
-		if ((user.loc == T && user.equipped() == W))
+		if ((user.loc == T && user.equipped() == W) && !dug)
 			user << "\blue You dug a hole."
 			gets_dug()
 			dug = 1