relax version 1.3.9.
This is the GUI release!
Authored by: bugman 2011-01-26
Parent: [r12450]
Child: [r12452]