diff --git a/core/constant_inc.php b/core/constant_inc.php index e20a29ea7d..6a9907d5e8 100644 --- a/core/constant_inc.php +++ b/core/constant_inc.php @@ -21,7 +21,7 @@ /** * Mantis Version */ -define( 'MANTIS_VERSION', '1.3.12' ); +define( 'MANTIS_VERSION', '1.3.13' ); define( 'FILTER_VERSION', 'v9' ); # --- constants ------------------- diff --git a/docbook/Admin_Guide/en-US/Revision_History.xml b/docbook/Admin_Guide/en-US/Revision_History.xml index 1338f7e31d..1a0fff1882 100644 --- a/docbook/Admin_Guide/en-US/Revision_History.xml +++ b/docbook/Admin_Guide/en-US/Revision_History.xml @@ -5,6 +5,20 @@