About the implementation of del in Python 3

[Terry Reedy]

Sorry, finger twitch.  Wish there were a minute grace period to recall 
such mistakes.

On 7/6/2017 2:16 PM, Terry Reedy wrote:
<a copy of a previous post without addition>

-- 
Terry Jan Reedy