Document --allow-redefinition #6230

Activity

1. JukkaL

   added

   documentation

   priority-0-high

   on Jan 21, 2019
2. JukkaL

   self-assigned this

   on Jan 21, 2019
3. gvanrossum

   closed this as completedin #6345on Feb 6, 2019
4. gvanrossum

   added 2 commits that reference this issue on Feb 6, 2019

   Document --allow-redefinition (#6345)

   ...

   This issue will close once commit 2473699 is merged into the 'master' branch.

   2473699

   Document --allow-redefinition (#6345)

   ...

   This issue will close once commit c079708 is merged into the 'master' branch.

   c079708