<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 7000509 - Deploying to main from @ amaranth-lang/amaranth@2ef3388ae74ffab6441142c14e1718643826c455 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 88640fe - Deploying to main from @ amaranth-lang/amaranth@563f869680e9c921faaba1d0a360bf57af9d6a77 🚀
<whitequark[cis]>
we'll probably keep them working in the 0.6 dev branch (main) for a while even though in principle (per our formal policy) we could remove them today; simply because it's such a popular API
<Wanda[cis]>
seeing "0.5" and "backport" next to each other feels so weird
<cr1901>
Yes, I saw it released earlier today (_I think_). I only use the async API in one amaranth package and need to port the rest of them. But I don't want to port the tbs tonight lol
<cr1901>
I just want to cut release and make "version number go up"
<_whitenotifier-9>
[amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1398-563f869680e9c921faaba1d0a360bf57af9d6a77 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] a3acdbf - Deploying to main from @ amaranth-lang/amaranth@b5f55ef6a5b4eae499cda57ae59c07241ab2dc11 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] aeb4d23 - Deploying to main from @ amaranth-lang/amaranth@af4e4a748950e3ab8d144ec56bf066449a524c46 🚀
cr1901 has quit [Read error: Connection reset by peer]
notgull has joined #amaranth-lang
cr1901 has joined #amaranth-lang
notgull has quit [Ping timeout: 256 seconds]
Guest14 has joined #amaranth-lang
Guest14 has quit [Client Quit]
josuah has joined #amaranth-lang
urja has quit [Read error: Connection reset by peer]