tree 6db0d8926f40782e57e3967c8a1da4ff1cf3e88b
parent f42bf9768de1c8184f00f89c4b5ac0fcfd3a8100
author Matthias Sohn <matthias.sohn@sap.com> 1729115577 +0200
committer Matthias Sohn <matthias.sohn@sap.com> 1729973981 +0200

Implement new numDocs() method

which was introduced in Ib054133d2592f40ae96a6b029097db49fc378cd0.

Change-Id: If4e5c7a5b390ad10b00a8fcb1c94e6dae78826b7