[exec.get.compl.sched] Remove spurious @#9000

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

timsong-cpp:too-many-atstimsong-cpp/draft:too-many-atsCopy head branch name to clipboard