[do-not-merge] Don't trigger update if triple value doesn't change#739

dwwoelfel wants to merge 9 commits intomaininstantdb/instant:mainfrom

merge-intoinstantdb/instant:merge-intoCopy head branch name to clipboard