Thanks for testing. I can confirm this (at least a slash is taken away) on Ubuntu 12.04.
If Ubuntu 13.04 does not get xscreensaver 5.20 (or newer) a separate bug fix for 5.15 would be possible.
Thanks for testing. I can confirm this (at least a slash is taken away) on Ubuntu 12.04.
If Ubuntu 13.04 does not get xscreensaver 5.20 (or newer) a separate bug fix for 5.15 would be possible.