Reverted r13065.
This follows a remark by Ed at: https://mail.gna.org/public/relax-devel/2011-06/msg00150.html Message-id: <BANLkTi=_Hw3VHk6aHzJU6e3d1inKtWOJRA@...>
The command used was: svn merge -r13065:13064 .
Authored by: semor 2011-06-16
Parent: [r13065]
Child: [r13067]
