On Fri, 24 Jun 2011, Joachim Breitner wrote: > as said previously somewhere, the # is something that the browser > handles internally to jump to a target, hence the server does not see it > (Unless it was URL-encoded for some reason, in which case it becomes > part of the URL).
Right, and we already properly handle # if it gets url encoded, which is why 'db #123456' works just fine. [Or http://bugs.debian.org/%23123456 ] Don Armstrong -- Who is thinking this? I am. -- Greg Egan _Diaspora_ p38 http://www.donarmstrong.com http://rzlab.ucr.edu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org