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.