Processed: user debian-release@lists.debian.org, usertagging 1017136, tagging 1017136

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> user debian-release@lists.debian.org
Setting user to debian-release@lists.debian.org (was reiner@reiner-h.de).
> usertags 1017136 bsp-2022-10-de-karlsruhe
There were no usertags set.
Usertags are now: bsp-2022-10-de-karlsruhe.
> tags 1017136 + patch
Bug #1017136 [src:ksirk] ksirk: FTBFS: newGameDialogImpl.cpp:31:10: fatal error: downloaddialog.h: No such file or directory
Added tag(s) patch.
> thanks
Stopping processing here.

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