Merge pull request #12982 from eldruin:python-gen-close-file
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 30 Oct 2018 18:41:23 +0000 (18:41 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 30 Oct 2018 18:41:23 +0000 (18:41 +0000)
commit850053f9ca7bc6b0067eda42940b9fd7d407454e
tree63df4c5f0b4dc4bc53936987680142644c692db3
parentfa91d621fa9420e3374e7950345537f775598f93
parent7a884ab6a59a777d1e22efd58194c649e05ee02e
Merge pull request #12982 from eldruin:python-gen-close-file