Bob,
The solution I gave may not work correctly. Leo points out in this thread that the rename may occur before the comment is set with the old name. It doesn't appear there is a real solution to ensure this doesn't happen.
Bob,
The solution I gave may not work correctly. Leo points out in this thread that the rename may occur before the comment is set with the old name. It doesn't appear there is a real solution to ensure this doesn't happen.