tree 6dc2fa5ba138d95f5df8e89668898e4967525260
parent a730b5ee7bb4593e41ffa895ae93b76f7d935871
author Thomas Klausner <tk@giga.or.at> 1600166782 +0200
committer Thomas Klausner <tk@giga.or.at> 1600166782 +0200

Document thread safety.

Closes #196.