From cd24211593d9bceffd61407554fcfb542fbabc40 Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Wed, 19 Oct 2022 18:13:31 -0500
Subject: [PATCH] Added acknowledgements

---
 docs/_posts/2022-10-31-luau-semantic-subtyping.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/_posts/2022-10-31-luau-semantic-subtyping.md b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
index 73e0e270..68622a67 100644
--- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md
+++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
@@ -262,6 +262,10 @@ Semantic subtyping has removed one source of false positives, but we still have
 
 The quest to remove spurious red squiggles continues!
 
+## Acknowledgments
+
+Thanks to Giuseppe Castagna and Ben Greenman for helpful comments on drafts of this post.
+
 ## Further reading
 
 If you want to find out more about Luau and semantic subtyping, you might want to check out…