tomd: kimi review follow-ups#19

gregjkal merged 1 commit into

cppalliance:mastercppalliance/wg21-papers:masterfrom

gregjkal:gk/kimi-review-followupsgregjkal/wg21-papers:gk/kimi-review-followupsCopy head branch name to clipboard