[2.15] Second prerelease available

[Nick Clifton]

Hi Dave,  Hi Daniel,

>>What version of Dejagnu are you using?  There was a bug of this nature
>>that was fixed in... um... 1.4.3 or 1.4.4, I think.  I'm not sure
>>whether the copy in the src repo is fixed or broken.
>>    
>>
>
>1.4.4, FYI.  
>

Thanks I'll try that.  I have been using 1.4.2...

Cheers
  Nick