tree cf75dcff7f9562ef1d399f5eea57f4daaad4681c
parent b3a9eab2d67d3e7100b2e79fe87ae75bd074a8b0
author Nikias Bassen <nikias@gmx.li> 1389190567 +0100
committer Nikias Bassen <nikias@gmx.li> 1389190567 +0100

make 'use_tag' usage thread safe and ignore tag mismatch errors