
30 Jun
2010
30 Jun
'10
5:47 a.m.
On 29/06/2010 16:38, malcolm.wallace wrote:
In Foreign.C.Error, the table of values of errno causes an unfortunate page break, and it overflows the fresh page as well. (As in, some values are invisible beyond the bottom of the page, rather than flowing onto the next.)
Well spotted, thanks. Now fixed. Cheers, Simon