Rocks'n'Diamonds 4.4.2.3 released!

[Holger]

This patch release fixes some bugs and improves some Diamond Caves related stuff:

• added checkbox to use optional EM/DC style player explosions
• changed killing player not before, but after digging land mine
• fixed highlighting player name after editing on names screen
• fixed a few potential string buffer overflow problems

The new version is available from the download page!