remove useless check which randomly fails
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 18 Apr 2014 17:56:55 +0000 (17:56 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 18 Apr 2014 17:56:55 +0000 (17:56 +0000)

No differences found