OK travis is happy again. Push the button anytime, Eric. John On 3/9/18 11:39 AM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:Eric, if you don't have time for a release I'll do it.I still want to do this. Obviously I wasn't very successful recently, but I think that my load of other stuff is lifting and I should be able to do it soon.