User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0
On 03/26/2015 07:09 AM, Eric Eide wrote:
Yang: Jeff mentioned his C-Reduce version in his email: commit
172b007, which is circa June 2014. It is several commits back from the
C-Reduce 2.2.0 release.