[issue13198] Remove duplicate definition of write_record_file

[Éric Araujo]

Éric Araujo added the comment:

Please don’t; distutils2 still exists and is mutating into one or more projects where these bug reports will be useful.  If it bothers Python core devs to have the bugs in this tracker, they will be migrated, but for the moment please leave them open so they can be found.

----------
resolution: out of date -> 
stage:  -> patch review
status: closed -> open
versions:  -Python 3.3

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