Merged revisions 5117 via svnmerge from
svn+ssh://bugman@.../svn/relax/1.3
........ r5117 | bugman | 2008-03-21 13:49:16 +0100 (Fri, 21 Mar 2008) | 6 lines Fix for bug #11004 (https://gna.org/bugs/?11004). The division by zero is now caught and avoided, but this bug has been triggered by a deeper problem which is likely to uncover additional bugs. ........
Authored by: bugman 2008-03-21
Parent: [r5118]
Child: [r5120]