tree 79ee3be6eae46c2e66a2c321a91e8d1d0cb77f44
parent d4c6bd5e4af454af171a86ba7eedc9ac34943c5d
author Marc Kupietz <kupietz@ids-mannheim.de> 1763442451 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1763442451 +0100

Use thread local document builders in krill output

Change-Id: I123d5b7015ae4f6ac361884c158794640518be23