You my friendly bug, are Fixed! See r12395, using defaultLable() instead of getLabel() or getId() allows redo/undo multiple times without crash.
You my friendly bug, are Fixed! See r12395, using defaultLable() instead of getLabel() or getId() allows redo/undo multiple times without crash.