[AIR #1239] Carry post-merge thread addendum to main (docs-only)#1247

waleedkadous wants to merge 2 commits into

maincluesmith/codev:mainfrom

builder/air-1239-thread-addendumcluesmith/codev:builder/air-1239-thread-addendumCopy head branch name to clipboard