Skip to content

Commit 41f9aa7

Browse files
committed
Deploying to main from @ amaranth-lang/rfcs@ac8b977 🚀
1 parent 3802bda commit 41f9aa7

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

rfcs/0079-port-with-direction.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -149,7 +149,7 @@ <h1 class="menu-title">The Amaranth RFC Book</h1>
149149
<ul>
150150
<li>Start Date: 2025-06-02</li>
151151
<li>RFC PR: <a href="https://github.com/amaranth-lang/rfcs/pull/79">amaranth-lang/rfcs#79</a></li>
152-
<li>Amaranth Issue: <a href="https://github.com/amaranth-lang/amaranth/issues/0000">amaranth-lang/amaranth#0000</a></li>
152+
<li>Amaranth Issue: <a href="https://github.com/amaranth-lang/amaranth/issues/1612">amaranth-lang/amaranth#1612</a></li>
153153
</ul>
154154
<h1 id="add-portlikewith_direction"><a class="header" href="#add-portlikewith_direction">Add <code>PortLike.with_direction</code></a></h1>
155155
<h2 id="summary"><a class="header" href="#summary">Summary</a></h2>

rfcs/print.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7009,7 +7009,7 @@ <h2 id="future-possibilities-51"><a class="header" href="#future-possibilities-5
70097009
<div style="break-before: page; page-break-before: always;"></div><ul>
70107010
<li>Start Date: 2025-06-02</li>
70117011
<li>RFC PR: <a href="https://github.com/amaranth-lang/rfcs/pull/79">amaranth-lang/rfcs#79</a></li>
7012-
<li>Amaranth Issue: <a href="https://github.com/amaranth-lang/amaranth/issues/0000">amaranth-lang/amaranth#0000</a></li>
7012+
<li>Amaranth Issue: <a href="https://github.com/amaranth-lang/amaranth/issues/1612">amaranth-lang/amaranth#1612</a></li>
70137013
</ul>
70147014
<h1 id="add-portlikewith_direction"><a class="header" href="#add-portlikewith_direction">Add <code>PortLike.with_direction</code></a></h1>
70157015
<h2 id="summary-54"><a class="header" href="#summary-54">Summary</a></h2>

rfcs/searchindex.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rfcs/searchindex.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)