diff --git a/Changes b/Changes
index ce964fe9a..9e0570f29 100644
--- a/Changes
+++ b/Changes
@@ -14,7 +14,13 @@ Verilator 5.013 devel
 **Minor:**
 
 * Deprecation planned for 32-bit pointer -m32 mode (#4268).
+* Deprecate CMake config below version 3.13 (#4389) (#4390). [Vito Gamberini]
 * Support some stream operations on queues (#4292). [Ryszard Rozak, Antmicro Ltd]
+* Support property declaration with empty parentheses (#4313) (#4317). [Anthony Donlon]
+* Support locator methods with "with" on assoc arrays (#4335). [Ryszard Rozak, Antmicro Ltd]
+* Support string replication with variable (#4341). [Aleksander Kiryk, Antmicro Ltd]
+* Support more types in wait (#4374). [Aleksander Kiryk, Antmicro Ltd]
+* Support static method calls as default values of function arguments (#4378). [Ryszard Rozak, Antmicro Ltd]
 * Add GENUNNAMED lint warning. [Srinivasan Venkataramanan, Deepa Palaniappan]
 * Add MISINDENT lint warning for misleading indentation.
 * Fix 'VlForkSync' redeclaration (#4277). [Krzysztof Bieganski, Antmicro Ltd]
@@ -26,11 +32,27 @@ Verilator 5.013 devel
 * Fix handling of ref types in initial values of type parameters (#4304). [Ryszard Rozak, Antmicro Ltd]
 * Fix comparison of string parameters (#4308). [Ryszard Rozak, Antmicro Ltd]
 * Fix state update for always processes (#4311). [Aleksander Kiryk, Antmicro Ltd]
+* Fix multiple edge timing controls in class methods (#4318) (#4320) (#4344). [Krzysztof Bieganski, Antmicro Ltd]
 * Fix implicit calls of base class constructors with optional arguments (#4319). [Ryszard Rozak, Antmicro Ltd]
+* Fix propagation of process requirement (#4321). [Krzysztof Boroński]
 * Fix unhandled overloads in V3InstrCount (#4324). [Krzysztof Boroński]
 * Fix selects of static members (#4326). [Ryszard Rozak, Antmicro Ltd]
 * Fix references to members of results of static methods (#4327). [Ryszard Rozak, Antmicro Ltd]
 * Fix unique..with method on queues of class objects (#4328). [Ryszard Rozak, Antmicro Ltd]
+* Fix queue slicing (#4329). [Aleksander Kiryk, Antmicro Ltd]
+* Fix wildcard referring types (#4336) (#4342). [Aleksander Kiryk, Antmicro Ltd]
+* Fix comparison of class objects (#4346). [Ryszard Rozak, Antmicro Ltd]
+* Fix unexpected RefDType on assoc arrays (#4337). [Aleksander Kiryk, Antmicro Ltd]
+* Fix cmake astgen for Rocky Linux 8.7 (#4343). [Julian Daube]
+* Fix class timescale in class packages (#4348). [Krzysztof Bieganski, Antmicro Ltd]
+* Fix string concatenations (#4354). [Ryszard Rozak, Antmicro Ltd]
+* Fix selects on unpacked structs (#4359). [Ryszard Rozak, Antmicro Ltd]
+* Fix select operation on assoc array with wide keys (#4360). [Ryszard Rozak, Antmicro Ltd]
+* Fix non-public methods with wide output (#4364). [Ryszard Rozak, Antmicro Ltd]
+* Fix handling of super.new calls (#4366). [Ryszard Rozak, Antmicro Ltd]
+* Fix assign to input var in methods (#4367). [Aleksander Kiryk, Antmicro Ltd]
+* Fix VlProcess not found (#4368). [Aleksander Kiryk, Antmicro Ltd]
+* Fix order of evaluation of function calls in statements (#4375). [Ryszard Rozak, Antmicro Ltd]
 
 
 Verilator 5.012 2023-06-13
diff --git a/docs/guide/warnings.rst b/docs/guide/warnings.rst
index 21c582de9..f44082085 100644
--- a/docs/guide/warnings.rst
+++ b/docs/guide/warnings.rst
@@ -676,9 +676,9 @@ List Of Warnings
    IEEE.
 
    The potential issue is that adding additional generate blocks will
-   renumber the assigned names, which may cause evental problems with
+   renumber the assigned names, which may cause eventual problems with
    synthesis constraints or other tools that depend on hierarchical paths
-   remaining consistend.
+   remaining consistent.
 
    Blocks that are empty may not be reported with this warning, as no
    scopes are created for empty blocks, so there is no harm in having them
@@ -702,7 +702,7 @@ List Of Warnings
          %Warning-GENUNNAMED: example.v:2:9: Unnamed generate block (IEEE 1800-2017 27.6)
 
    To fix this assign a label (often with the naming convention prefix of
-   'gen_' or 'g_'), for example:
+   :code:`gen_` or :code:`g_`), for example:
 
    .. code-block:: sv
       :linenos:
diff --git a/docs/spelling.txt b/docs/spelling.txt
index ce15a7679..46754fe66 100644
--- a/docs/spelling.txt
+++ b/docs/spelling.txt
@@ -56,6 +56,7 @@ Das
 Dcache
 Deadman
 Debacker
+Deepa
 Defparams
 Denio
 Deprecations
@@ -246,6 +247,7 @@ Olof
 Olofsson
 Oyvind
 PLI
+Palaniappan
 Patricio
 Petr
 Piechotka
@@ -376,6 +378,7 @@ Wfuture
 Whatson
 Wildman
 Wim
+Wmisleading
 Wno
 Wojciech
 Wolfel
@@ -410,6 +413,7 @@ architected
 args
 arrarys
 assertOn
+astgen
 async
 ato
 atoi