On Fri, Oct 17, 2008 at 04:53:14PM -0700, Ben Pfaff wrote:
     John Darrington <[EMAIL PROTECTED]> writes:
     
     > Here's a new patch with Ben's suggestions added.
     
     Thanks.  The revised version looks good to me.


OK.  Thanks.  I pushed it to stable.  I'm not sure if the 
#if WINDOW32 is correct, but I'll let others look into that.



-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://pgp.mit.edu or any PGP keyserver for public key.


Attachment: signature.asc
Description: Digital signature

_______________________________________________
pspp-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/pspp-dev

Reply via email to