[issue13198] Remove duplicate definition of write_record_file

[Mike Hoy]

Mike Hoy <mhoy09 at gmail.com> added the comment:

I am unable to work on this issue at this time.

On Thu, Feb 9, 2012 at 8:57 PM, Éric Araujo <report at bugs.python.org> wrote:

>
> Éric Araujo <merwok at netwok.org> added the comment:
>
> Mike, if you don’t have the time to finish this shortly, I will do it, as
> I need this fixed for another bug.  Just let me know if you’d like to do it.
>
> ----------
>
> _______________________________________
> Python tracker <report at bugs.python.org>
> <http://bugs.python.org/issue13198>
> _______________________________________
>

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue13198>
_______________________________________