diff -r 39b7a91a3f4c -r 032825bbacab server/sources/__init__.py --- a/server/sources/__init__.py Thu Jan 23 12:32:16 2014 +0100 +++ b/server/sources/__init__.py Thu Jan 23 13:47:28 2014 +0100 @@ -450,10 +450,6 @@ raise NotImplementedError(self) - @deprecated('[3.13] use repo.eid2extid(source, eid, session)') - def eid2extid(self, eid, session=None): - return self.repo.eid2extid(self, eid, session) - @deprecated('[3.13] use extid2eid(source, value, etype, session, **kwargs)') def extid2eid(self, value, etype, session=None, **kwargs): return self.repo.extid2eid(self, value, etype, session, **kwargs)