On Thu, 7 Apr 2016, Camm Maguire wrote: > severity 819447 important > thanks > > Greetings! I have a fix for this in the pipeline, but as the problem > only appears under particular and rare memory configurations, and in > particular is absent from the Debian autobuilder infrastructure, I've > lowered the severity.
Hmm, how is 4GB of RAM "particular and rare"? This bug is about acl2. It worked in the autobuilder the last time it tried, but that was 161 days ago, most probably with a different gcc and binutils version. How is that an evidence that it would work now? > Thank you for the machine you've provided. I will check that my fix > addresses acl2 there as well with your permission. Yes, please do so.
