tree f34c16792def18362b284b21ba2134bbe7c54510
parent a44e5917be7ff121817f43ee1e3c92d46d18bb5c
author Andre Weinand <aweinand> 1118178903 +0000
committer Andre Weinand <aweinand> 1118178903 +0000

fixed #67888: [accessibility] Go To Next Difference stops working on reuse of editor