John On 09/22/2014 05:20 PM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:I can probably make the change easily but it will require some testing and I'm not sure if Eric has rolled the release already?No, not yet. But I am working on it. I can track minor last-minute changes.