Sync NEWS.md from 1.13 branch

NEWS.md

@@ -18,6 +18,10 @@
 - Coverage exclude files now support `fold` command.
 - A signature is now allowed in the formal part of generic map
   associations in VHDL-2019 mode.
+- `use lib.pack.all` no longer makes the bare package name `pack`
+  potentially visible.
+
+## Version 1.13.3 - 2024-08-24
 - Type checking was not performed correctly for conversion function
   actuals in port maps (#945).
 - Fixed a crash with signal aliases inside an instantiated generic
@@ -28,8 +32,7 @@
   initialised with an aggregate (#954).
 - External names in concurrent assertion statements and PSL assertions
   are now parsed correctly (#952).
-- `use lib.pack.all` no longer makes the bare package name `pack`
-  potentially visible.
+- Several other minor bugs were resolved (#942, #943, #950, #951, #953).
 
 ## Version 1.13.2 - 2024-08-11
 - Fixed an incorrect bounds check error when a constant declaration has

README.md

@@ -92,7 +92,7 @@ NVC has both a release branch and a development master branch. The
 master branch should be stable enough for day-to-day use and has
 comprehensive regression tests, but the release branch is more suitable
 for third party packaging.  The latest released version is
-[1.13.2](https://github.com/nickg/nvc/releases/tag/r1.13.2).
+[1.13.3](https://github.com/nickg/nvc/releases/tag/r1.13.3).
 Significant changes since the last release are detailed in
 [NEWS.md](NEWS.md).
 

www/defs.m4

@@ -1,6 +1,6 @@
-define(__version, `1.13.2')dnl
-define(__release_date, `11th August 2024')dnl
-define(__release_date_short, `2024-08-11')dnl
+define(__version, `1.13.3')dnl
+define(__release_date, `24th August 2024')dnl
+define(__release_date_short, `2024-08-24')dnl
 define(__release_notes, `news.html#version-'__version`---'__release_date_short)dnl
 define(__github_url, `https://github.com/nickg/nvc')dnl
 define(__download_base, `https://www.nickg.me.uk/files')dnl