@@ -20,10 +20,10 @@ tags: prioritization, rustc
### WG checkins
-@**WG-X** checkin by @**person1**:
+@*WG-X* checkin by @**person1**:
> Checkin text
-@**WG-Y** checkin by @**person2**:
+@*WG-Y* checkin by @**person2**:
## Beta-nominations