Use update-on-threshold='true'#3

BenjaminRodenberg merged 1 commit intomainBenjaminRodenberg/test-cases-dissertation:mainfrom

use-update-on-thresholdBenjaminRodenberg/test-cases-dissertation:use-update-on-thresholdCopy head branch name to clipboard