[DRE-maint] Processed: bug 985840 is forwarded to https://gitlab.com/gitlab-org/gitlab-shell/-/issues/197

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 985840 https://gitlab.com/gitlab-org/gitlab-shell/-/issues/197
Bug #985840 [gitlab-shell] gitlab-shell: should not ship /usr/bin/check
Set Bug forwarded-to-address to 'https://gitlab.com/gitlab-org/gitlab-shell/-/issues/197'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
985840: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=985840
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems