On 12/04/2016 04:07 PM, Ravi Desai wrote:
> Is this now a good time to revisit the original patch submitted for 
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=11935 ? 

I would guess not. As I recall, Eli is still using GCC 3, and I suspect 
some other developers are still using pre-4.8 GCC. Let's kick this can 
down the road a while more. I installed the attached.