Processing commands for cont...@bugs.debian.org: > user debian-rele...@lists.debian.org Setting user to debian-rele...@lists.debian.org (was rei...@reiner-h.de). > usertags 853547 bsp-2018-10-de-karlsruhe There were no usertags set. Usertags are now: bsp-2018-10-de-karlsruhe. > tags 853547 + pending Bug #853547 [src:mgen] mgen: ftbfs with GCC-7 Added tag(s) pending. > thanks Stopping processing here.
Please contact me if you need assistance. -- 853547: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=853547 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
