[Pkg-electronics-devel] Bug#1031439: fixed in gcc-sh-elf 4.1 but unfixed later

[Bastian Germann]

I cannot reproduce this but see that the change was not included in git, so that is probably the reason for dropping it.
John, will you have the time to reapply?