Mon, 13 Apr 2009 15:30:48 +0000 Use key().id_or_name() instead of key().name()
Sverre Rabbelier <srabbelier@gmail.com> [Mon, 13 Apr 2009 15:30:48 +0000] rev 2176
Use key().id_or_name() instead of key().name() These two cases were introduced after the previous refactoring was done and did not follow the new behavior. Patch by: Sverre Rabbelier
(0) -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 tip