[Pkg-electronics-devel] Processed: Proceeding with removal of yosys-plugin-ghdl

[Debian Bug Tracking System]

Processing control commands:

> severity 1101327 normal
Bug #1101327 [src:yosys-plugin-ghdl] Should yosys-plugin-ghdl be removed from unstable?
Severity set to 'normal' from 'important'
> retitle 1101327 RM: yosys-plugin-ghdl -- RoQA; rc-buggy
Bug #1101327 [src:yosys-plugin-ghdl] Should yosys-plugin-ghdl be removed from unstable?
Changed Bug title to 'RM: yosys-plugin-ghdl -- RoQA; rc-buggy' from 'Should yosys-plugin-ghdl be removed from unstable?'.
> reassign 1101327 ftp.debian.org
Bug #1101327 [src:yosys-plugin-ghdl] RM: yosys-plugin-ghdl -- RoQA; rc-buggy
Bug reassigned from package 'src:yosys-plugin-ghdl' to 'ftp.debian.org'.
Ignoring request to alter found versions of bug #1101327 to the same values previously set
Ignoring request to alter fixed versions of bug #1101327 to the same values previously set
> affects 1101327 + src:yosys-plugin-ghdl
Bug #1101327 [ftp.debian.org] RM: yosys-plugin-ghdl -- RoQA; rc-buggy
Added indication that 1101327 affects src:yosys-plugin-ghdl

-- 
1101327: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1101327
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems