relax version 1.3.8.
This is a small bugfix release prior to the release of the relaxGUI.
Authored by: bugman 2011-01-20
Parent: [r12366]
Child: [r12368]