Processing commands for control@bugs.debian.org: > tags 193239 - fixed Bug#193239: search box on http://www.debian.org/ broken Tags were: fixed Tags removed: fixed > tags 193237 + fixed Bug#193237: sbcl: Core-file search. Tags were: upstream Tags added: fixed > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)