diff --git a/meetings/cranelift/2022/cranelift-03-07.md b/meetings/cranelift/2022/cranelift-03-07.md index 3b63475f63..97c6950e53 100644 --- a/meetings/cranelift/2022/cranelift-03-07.md +++ b/meetings/cranelift/2022/cranelift-03-07.md @@ -11,7 +11,7 @@ 1. Announcements 1. _Submit a PR to add your announcement here_ 1. Other agenda items - 1. _Submit a PR to add your item here_ + 1. Verification annotation syntax (avanhatt) ## Notes