Processed: clisp-dev: bashism in /bin/sh script

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control at bugs.debian.org:

> found 530054 1:2.48-1
Bug #530054 {Done: Peter Van Eynde <pvaneynd at debian.org>} [clisp-dev] clisp-dev: bashism in /bin/sh script
There is no source info for the package 'clisp-dev' at version '1:2.48-1' with architecture ''
Unable to make a source version for version '1:2.48-1'
Bug Marked as found in versions 1:2.48-1; no longer marked as fixed in versions clisp/1:2.48-1 and reopened.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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