relnote update

RELEASES.txt

@@ -108,11 +108,13 @@ Released
 * C typing wrapped throughout to allow porting to more exotic platforms,
   e.g. platforms where "int" is a 16-bit type
 
-* Fixed several compile warnings, fixed warnings generated by GCC -Wextra
-
 * More self tests to detect obscure compiler bugs, two's complement
   arithmetic, etc (disabled by default)
 
+* Fixed several compile warnings, fixed warnings generated by GCC -Wextra
+
+* Fixed some incorrect assertions (with no underlying bug)
+
 * Fixed a coroutine termination bug which caused assertion errors and
   occasional segfaults when an uncaught error terminated a thread with
   a catch point active