[issue13198] Remove duplicate definition of write_record_file

[Éric Araujo]

Éric Araujo <merwok at netwok.org> added the comment:

Here’s the patch produced by Mike and I so far.

----------
keywords: +patch
Added file: http://bugs.python.org/file23666/remove-duplicate-write_record_file.diff

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