Merge branch updatesharing-eqclass
authorHelmut Grohne <helmut@subdivi.de>
Sun, 23 Feb 2014 19:12:18 +0000 (20:12 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 23 Feb 2014 19:12:18 +0000 (20:12 +0100)

Trivial merge