[Pkg-electronics-devel] Processed: gcc-sh-elf fix is on the way

[Debian Bug Tracking System]

Processing control commands:

> owner -1 John Scott <jscott at posteo.net>
Bug #1040960 [src:gcc-sh-elf] gcc-sh-elf binary-all build rejected
Owner recorded as John Scott <jscott at posteo.net>.
> tags -1 pending
Bug #1040960 [src:gcc-sh-elf] gcc-sh-elf binary-all build rejected
Added tag(s) pending.

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