[Pkg-electronics-devel] Processed: Re: Bug#1101327: Proceeding with removal of yosys-plugin-ghdl

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 src:yosys-plugin-ghdl
Bug #1101327 [ftp.debian.org] RM: yosys-plugin-ghdl -- RoQA; rc-buggy
Bug reassigned from package 'ftp.debian.org' to 'src:yosys-plugin-ghdl'.
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 -1 - src:yosys-plugin-ghdl
Bug #1101327 [src:yosys-plugin-ghdl] RM: yosys-plugin-ghdl -- RoQA; rc-buggy
Removed indication that 1101327 affects src:yosys-plugin-ghdl
> retitle -1 Should yosys-plugin-ghdl be removed from unstable?
Bug #1101327 [src:yosys-plugin-ghdl] RM: yosys-plugin-ghdl -- RoQA; rc-buggy
Changed Bug title to 'Should yosys-plugin-ghdl be removed from unstable?' from 'RM: yosys-plugin-ghdl -- RoQA; rc-buggy'.

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