pcb-rnd 1.2.5
~~~~~~~~~~~~~

This release is an unscheduled bugfix release. It is essentially
version 1.2.4 with three critical bugfixes backported from trunk/.
Please refer to the Changelog for more details.
