Skip to content

Commit

Permalink
Publish: fix revision number to be purely numeric a1790dd
Browse files Browse the repository at this point in the history
  • Loading branch information
@ericniebler
ericniebler committed Jul 9, 2024
1 parent 7a15cad commit 20e1767
Showing 1 changed file with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions execution.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>D2300R10.a: `std::execution`</title>
<title>D2300R11: `std::execution`</title>
<style data-fill-with="stylesheet">/******************************************************************************
* Style sheet for the W3C specifications *
*
Expand Down Expand Up @@ -2389,7 +2389,7 @@
<body class="h-entry">
<div class="head">
<p data-fill-with="logo"></p>
<h1 class="p-name no-ref" id="title">D2300R10.a<br><code class="highlight"><c- n>std</c-><c- o>::</c-><c- n>execution</c-></code></h1>
<h1 class="p-name no-ref" id="title">D2300R11<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-06-28">2024-06-28</time></span></h2>
<div data-fill-with="spec-metadata">
<dl>
Expand Down Expand Up @@ -12407,19 +12407,19 @@ <h3 class="no-num no-ref heading settled" id="informative"><span class="content"
"use strict";
{
let refsData = {
"#completion-scheduler": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"completion scheduler","type":"dfn","url":"#completion-scheduler"},
"#connect": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"connect","type":"dfn","url":"#connect"},
"#execution-resource": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"execution resource","type":"dfn","url":"#execution-resource"},
"#operation-state": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"operation state","type":"dfn","url":"#operation-state"},
"#receiver": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"receiver","type":"dfn","url":"#receiver"},
"#scheduler": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"scheduler","type":"dfn","url":"#scheduler"},
"#send": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"send","type":"dfn","url":"#send"},
"#sender": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"sender","type":"dfn","url":"#sender"},
"#sender-adaptor": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"sender adaptor","type":"dfn","url":"#sender-adaptor"},
"#sender-algorithm": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"sender algorithm","type":"dfn","url":"#sender-algorithm"},
"#sender-consumer": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"sender consumer","type":"dfn","url":"#sender-consumer"},
"#sender-factory": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"sender factory","type":"dfn","url":"#sender-factory"},
"#start": {"export":true,"for_":[],"level":"10.a","normative":true,"shortname":"d2300","spec":"d2300-10.a","status":"local","text":"start","type":"dfn","url":"#start"},
"#completion-scheduler": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"completion scheduler","type":"dfn","url":"#completion-scheduler"},
"#connect": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"connect","type":"dfn","url":"#connect"},
"#execution-resource": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"execution resource","type":"dfn","url":"#execution-resource"},
"#operation-state": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"operation state","type":"dfn","url":"#operation-state"},
"#receiver": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"receiver","type":"dfn","url":"#receiver"},
"#scheduler": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"scheduler","type":"dfn","url":"#scheduler"},
"#send": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"send","type":"dfn","url":"#send"},
"#sender": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"sender","type":"dfn","url":"#sender"},
"#sender-adaptor": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"sender adaptor","type":"dfn","url":"#sender-adaptor"},
"#sender-algorithm": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"sender algorithm","type":"dfn","url":"#sender-algorithm"},
"#sender-consumer": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"sender consumer","type":"dfn","url":"#sender-consumer"},
"#sender-factory": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"sender factory","type":"dfn","url":"#sender-factory"},
"#start": {"export":true,"for_":[],"level":"11","normative":true,"shortname":"d2300","spec":"d2300-11","status":"local","text":"start","type":"dfn","url":"#start"},
};

function mkRefHint(link, ref) {
Expand Down

0 comments on commit 20e1767

Please sign in to comment.