tree 1d855e43cc07a2bb098c1f6561207a9980368ed7
parent 8701abd815f9e23e0b7aa8c63637e2b2cd57b79d
author Marc Kupietz <kupietz@ids-mannheim.de> 1678984519 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1682511126 +0200

Paper IDs have upto but not exactly 4 digits

Change-Id: I45f5d96fb160db98fdb13170c15e75fd17635ceb