diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index deb66de1d..6c652874e 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -3,7 +3,7 @@ RELEASE NOTES
 Version 4.3.1
 =============
 
-- Added support for compiling Z3 using clang++ on OSX
+- Added support for compiling Z3 using clang++ on Linux and OSX
 
 Version 4.3.0
 =============