Thanks, all. Dimitrios, Teej, I had thought that Steve's steps were the ones I'd outlined; but I guess I was a bit too convoluted in my explanation. Thanks for your patience.
I'm surprised that wget is doing the right thing with respect to "?" versus "%3F"; I guess I must have fixed it earlier than I had thought (or else Debian imported the change from the mainline branch). -- Reports wrong URI for "No such file or directory". https://bugs.launchpad.net/bugs/122499 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
