0.12.1dev: Fixed the update of the page location when expanding a directory in the source browser, in the case where the URL has trailing slashes.
Patch by shesek, thanks! Closes #9548.
Authored by: rblank 2010-08-23
Parent: [r10009]
Child: [r10011]