Thank you for the patches, which are most appreciated. If you have any more of them, can you send them to the bug tracker https://bugs.pypy.org/ ? Things posted to the mailing list sometimes get forgotten.
Thank you, and thank you for the patches, Laura _______________________________________________ pypy-dev mailing list pypy-dev@python.org http://mail.python.org/mailman/listinfo/pypy-dev
