DROD RPG 1.2.5

We've released a minor patch, 1.2.5, with the following changes:

• Fixed monster info tooltip disappearing too quickly.
• Script fixes for variables used occasionally in usermade holds (specifics here).