diff --git a/content/posts/this-month-in-hax/2024-07.md b/content/posts/this-month-in-hax/2024-07.md index 46f018b..70b545c 100644 --- a/content/posts/this-month-in-hax/2024-07.md +++ b/content/posts/this-month-in-hax/2024-07.md @@ -7,8 +7,7 @@ ShowToc: false ShowBreadCrumbs: false --- -That's the second blog post of our "This Month in hax" series, and -this month, in july, we merged 32 PRs! 🎉 +In July, we merged 32 PRs! 🎉 On the side of the frontend and CLI, we had a lot of fixes and improvements! The `hax` command line and rustc driver were