Message187315
Maybe we could raise a warning when the deleted name already exists in the local namespace?
(FWIW I knew about the fact that the name gets deleted, and still managed to get bitten by it a couple of times.) |
|
Date |
User |
Action |
Args |
2013-04-19 00:01:42 | ezio.melotti | set | recipients:
+ ezio.melotti, barry |
2013-04-19 00:01:42 | ezio.melotti | set | messageid: <1366329702.67.0.181119159683.issue17792@psf.upfronthosting.co.za> |
2013-04-19 00:01:42 | ezio.melotti | link | issue17792 messages |
2013-04-19 00:01:42 | ezio.melotti | create | |
|