Merge branch updatesharing-eqclass