Thu, 18 Dec 2008 10:51:11 +0100 bookmarks: set the current bookmark to the new name if we rename the current bookmark
David Soria Parra <dsp@php.net> [Thu, 18 Dec 2008 10:51:11 +0100] rev 7550
bookmarks: set the current bookmark to the new name if we rename the current bookmark If we rename the current bookmark, we have to set the current bookmark to the new name.
Wed, 31 Dec 2008 14:23:19 +0100 merge with crew-stable
Dirkjan Ochtman <dirkjan@ochtman.nl> [Wed, 31 Dec 2008 14:23:19 +0100] rev 7549
merge with crew-stable
(0) -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip