We should do nothing - please let debian (doko) deal with this alone.
First of all, let me say that this post is potentially offensive. However the intention behind this post isn't to offend anyone, it's explaining myself.
In the bug report which I pasted in the original post the maintainer of gcc in debian (doko) asked for a patch:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=729022#10Also the bug was marked with tag "help" meaning the maintainer is requesting help to fix this bug.
The bug was reported this Thursday 7 November: today is 11. I didn't open this thread right after I found the bug; I waited a bit before posting, I have been suffering the bug for a few days already.
Yesterday the server providing the svn repository where the gcc packaging is maintained went down:
http://lists.debian.org/debian-infrastructure-announce/2013/11/msg00001.htmlJust a bit before debian's svn hosting went down I checked the svn repository looking for a possible fix, nothing was pushed to the repository related to this bug.
We have someone here asking for help to solve that issue and the first reply he got is in the line of "the solution is waiting" which is not a real solution
http://forum.siduction.org/index.php?topic=3973.0All the things which I explained in the paragraphs above are just facts related this bug, not my opinion. However, if you ask my technical opinion about these facts, I think this whole thing is just a shame. Since this situation is just unacceptable, I might upload a package workarounding the issue to the experimental suite of our fixes repository.