Build #256:   Merge pull request #142 from distler/master Fix Uninitialized eq2eqid Hash on branch master over 3 years ago