Rollup merge of #73865 - LeSeulArtichaut:patch-1, r=Dylan-DPC
Rollup merge of #73865 - LeSeulArtichaut:patch-1, r=Dylan-DPC

Fix Zulip topic format

Yet another instance of me making a mistake after copy-pasting :D
r? @Dylan-DPC

aidancully/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust