Publish final RAP 3.12 release

Change-Id: Iafab89795effd9fcfbd584bb3395513a77d80c4b
Signed-off-by: Markus Knauer <mknauer@eclipsesource.com>
diff --git a/_builds/builds-3.12.xml b/_builds/builds-3.12.xml
index 37f7c92..4a1cd89 100644
--- a/_builds/builds-3.12.xml
+++ b/_builds/builds-3.12.xml
@@ -65,22 +65,22 @@
 
   <build name="3.12 RC2" type="RC"
       shortname="RC2"
-      status="planned"
+      status="completed"
       publishDate="2020-03-13"
       news="3.12/?build=RC2"
-      runtimeZip=""
-      runtime4Zip=""
-      toolsZip=""
+      runtimeZip="rap-3.12.0-RC2-20200309-2337.zip"
+      runtime4Zip="rap-e4-3.12.0-RC2-20200309-2337.zip"
+      toolsZip="rap-tools-3.12.0-RC2-20200309-2335.zip"
       />
 
   <build name="3.12" type="R"
       shortname="R"
-      status="planned"
+      status="completed"
       publishDate="2020-03-18"
       news="3.12/"
-      runtimeZip=""
-      runtime4Zip=""
-      toolsZip=""
+      runtimeZip="rap-3.12.0-R-20200309-2337.zip"
+      runtime4Zip="rap-e4-3.12.0-R-20200309-2337.zip"
+      toolsZip="rap-tools-3.12.0-R-20200309-2335.zip"
       />
 
 </builds>
diff --git a/_sidebar/arrivals.php b/_sidebar/arrivals.php
index 23edae0..3064be5 100644
--- a/_sidebar/arrivals.php
+++ b/_sidebar/arrivals.php
@@ -29,7 +29,7 @@
     <div class="terminal-row">
       <span class="terminal-field">
         <span class="terminal-overlay"></span>
-        <span class="terminal-text">RAP 3.12 RC1</span>
+        <span class="terminal-text">RAP 3.12</span>
       </span>
       <span class="terminal-field">
         <span class="terminal-overlay"></span>
@@ -40,22 +40,11 @@
     <div class="terminal-row">
       <span class="terminal-field">
         <span class="terminal-overlay"></span>
-        <span class="terminal-text">RAP 3.12 RC2</span>
+        <span class="terminal-text">RAP 3.13</span>
       </span>
       <span class="terminal-field">
         <span class="terminal-overlay"></span>
-        <span class="terminal-text">2020-03-13</span>
-      </span>
-    </div>
-
-    <div class="terminal-row">
-      <span class="terminal-field">
-        <span class="terminal-overlay"></span>
-        <span class="terminal-text">RAP 3.12</span>
-      </span>
-      <span class="terminal-field">
-        <span class="terminal-overlay"></span>
-        <span class="terminal-text">2020-03-18</span>
+        <span class="terminal-text">2020-06-17</span>
       </span>
     </div>
 
diff --git a/developers-guide/DevGuideUtils.php b/developers-guide/DevGuideUtils.php
index eb3b3fa..3d3f34a 100644
--- a/developers-guide/DevGuideUtils.php
+++ b/developers-guide/DevGuideUtils.php
@@ -2,7 +2,7 @@
 
 class DevGuideUtils {
 
-  const CURRENT_VERSION = '3.11';
+  const CURRENT_VERSION = '3.12';
   const MASTER_VERSION = '3.12';
 
   public static $versions = array(
diff --git a/downloads/index.php b/downloads/index.php
index 027fe8a..1d256e6 100644
--- a/downloads/index.php
+++ b/downloads/index.php
@@ -9,7 +9,7 @@
 
   // --- TO BE CHANGED WITH EVERY RELEASE ---
 
-  $releaseBuilds = new Builds( "3.11" );
+  $releaseBuilds = new Builds( "3.12" );
   $stableBuilds = new Builds( "3.12" );
 
   // ---
diff --git a/noteworthy/index.php b/noteworthy/index.php
index 90d9780..2604230 100644
--- a/noteworthy/index.php
+++ b/noteworthy/index.php
@@ -1,5 +1,5 @@
 <?php
 
-  header( "Location: /rap/noteworthy/3.11/" );
+  header( "Location: /rap/noteworthy/3.12/" );
 
 ?>