Processed: Re: Bug#519920: sbcl has trouble starting a new swank server

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 519920 cl-swank
Bug#519920: sbcl has trouble starting a new swank server
Bug reassigned from package `sbcl' to `cl-swank'.

> found 519920 1:20090217-1
Bug#519920: sbcl has trouble starting a new swank server
Bug marked as found in version 1:20090217-1.

> severity 519920 normal
Bug#519920: sbcl has trouble starting a new swank server
Severity set to `normal' from `normal'

> merge 517167 519920
Bug#517167: sbcl has trouble starting a new swank server
Bug#519920: sbcl has trouble starting a new swank server
Merged 517167 519920.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)