From bc83e761d3cc340aca180b3f3890965a26e13c07 Mon Sep 17 00:00:00 2001
From: ericniebler <ericniebler@users.noreply.github.com>
Date: Tue, 2 Apr 2024 17:58:54 +0000
Subject: [PATCH] Publish: R9 c498d8d164590fa43bc10d0f4b4de7b39b9190d2

---
 execution.html | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)
diff --git a/execution.html b/execution.html
index 5b01c43..4eb7f6f 100644
--- a/execution.html
+++ b/execution.html
@@ -2,7 +2,7 @@
  <head>
   <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
   <meta content="width=device-width, initial-scale=1, shrink-to-fit=no" name="viewport">
-  <title>D2300R9: `std::execution`</title>
+  <title>P2300R9: `std::execution`</title>
 <style data-fill-with="stylesheet">/******************************************************************************
  *                   Style sheet for the W3C specifications                   *
  *
@@ -2385,8 +2385,8 @@
  <body class="h-entry">
   <div class="head">
    <p data-fill-with="logo"></p>
-   <h1 class="p-name no-ref" id="title">D2300R9<br><code class="highlight"><c- n>std</c-><c- o>::</c-><c- n>execution</c-></code></h1>
-   <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Draft Proposal, <time class="dt-updated" datetime="2024-04-02">2024-04-02</time></span></h2>
+   <h1 class="p-name no-ref" id="title">P2300R9<br><code class="highlight"><c- n>std</c-><c- o>::</c-><c- n>execution</c-></code></h1>
+   <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Published Proposal, <time class="dt-updated" datetime="2024-04-02">2024-04-02</time></span></h2>
    <div data-fill-with="spec-metadata">
     <dl>
      <dt class="editor">Authors:
@@ -12254,19 +12254,19 @@ <h3 class="no-num no-ref heading settled" id="informative"><span class="content"
 "use strict";
 {
 let refsData = {
-"#completion-scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"completion scheduler","type":"dfn","url":"#completion-scheduler"},
-"#connect": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"connect","type":"dfn","url":"#connect"},
-"#execution-resource": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"execution resource","type":"dfn","url":"#execution-resource"},
-"#operation-state": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"operation state","type":"dfn","url":"#operation-state"},
-"#receiver": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"receiver","type":"dfn","url":"#receiver"},
-"#scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"scheduler","type":"dfn","url":"#scheduler"},
-"#send": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"send","type":"dfn","url":"#send"},
-"#sender": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender","type":"dfn","url":"#sender"},
-"#sender-adaptor": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender adaptor","type":"dfn","url":"#sender-adaptor"},
-"#sender-algorithm": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender algorithm","type":"dfn","url":"#sender-algorithm"},
-"#sender-consumer": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender consumer","type":"dfn","url":"#sender-consumer"},
-"#sender-factory": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"sender factory","type":"dfn","url":"#sender-factory"},
-"#start": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"d2300","spec":"d2300-9","status":"local","text":"start","type":"dfn","url":"#start"},
+"#completion-scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"completion scheduler","type":"dfn","url":"#completion-scheduler"},
+"#connect": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"connect","type":"dfn","url":"#connect"},
+"#execution-resource": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"execution resource","type":"dfn","url":"#execution-resource"},
+"#operation-state": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"operation state","type":"dfn","url":"#operation-state"},
+"#receiver": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"receiver","type":"dfn","url":"#receiver"},
+"#scheduler": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"scheduler","type":"dfn","url":"#scheduler"},
+"#send": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"send","type":"dfn","url":"#send"},
+"#sender": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender","type":"dfn","url":"#sender"},
+"#sender-adaptor": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender adaptor","type":"dfn","url":"#sender-adaptor"},
+"#sender-algorithm": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender algorithm","type":"dfn","url":"#sender-algorithm"},
+"#sender-consumer": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender consumer","type":"dfn","url":"#sender-consumer"},
+"#sender-factory": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"sender factory","type":"dfn","url":"#sender-factory"},
+"#start": {"export":true,"for_":[],"level":"9","normative":true,"shortname":"p2300","spec":"p2300-9","status":"local","text":"start","type":"dfn","url":"#start"},
 };
 
 function mkRefHint(link, ref) {
