Add Cranelift agenda item (#3889)

2022-03-07 11:31:31 -05:00
parent 8c9c72caaa
commit a8acd66c3a
1 changed files with 1 additions and 1 deletions
--- 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