Skip to content

Commit

Permalink
recording ad
Browse files Browse the repository at this point in the history
  • Loading branch information
utaal committed Nov 4, 2024
1 parent 88f8c90 commit 1bc185e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pages/2024-sosp/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ <h1><span class="highlight-2">Tutorial</span>: Verifying Rust code with <a href=
</p>

<p class="text">
<span class="highlight-2">We will stream the tutorial on <a href="https://eu02web.zoom-x.de/j/62976175737?pwd=savaNJPLndahKWfcIbWxRG8BXefaD1.1">Zoom</a>.</span> Meeting ID: 629 7617 5737, Passcode: 574683.
<span class="highlight-2">We will publish the recording of the tutorial soon.</span>
</p>
</div>
<div class="main relative card">
Expand Down

0 comments on commit 1bc185e

Please sign in to comment.