#26: correct duplicate declaration

This commit is contained in:
Mario Fetka
2017-06-02 11:03:41 +02:00

Submodule commit.ref updated: 3cda2a1877...0b1baa4a74