commit 4f0728f9df2d91c39188ed0c149fd4c2bc5f16f7
author The Android Open Source Project <initial-contribution@android.com> Tue Oct 08 13:56:29 2013 -0700
committer The Android Open Source Project <initial-contribution@android.com> Tue Oct 08 13:56:29 2013 -0700
tree 8b8daeaa00f616784966812bef17e40ed558c0d3
parent e943beade36c84b0ffab3025b6338cb540e3a673

pushing android 4.3.1 to public

src/source/build-numbers.jd

diff --git a/src/source/build-numbers.jd b/src/source/build-numbers.jd
index 7a0d37e..f7981c2 100644
--- a/src/source/build-numbers.jd
+++ b/src/source/build-numbers.jd
@@ -127,7 +127,7 @@
 </tr>
 <tr>
 <td>Jelly Bean</td>
-<td>4.3</td>
+<td>4.3.x</td>
 <td>API level 18</td>
 </tr>
 </tbody>
@@ -532,8 +532,8 @@
 </tr>
 
 <tr>
-<td>JLS36G</td>
-<td>android-4.3_r3.1</td>
+<td>JLS36I</td>
+<td>android-4.3.1_r1</td>
 <td>Latest Jelly Bean version, Nexus 7 (deb)</td>
 </tr>
 

src/source/building-devices.jd

diff --git a/src/source/building-devices.jd b/src/source/building-devices.jd
index ae1a71c..e1b912e 100644
--- a/src/source/building-devices.jd
+++ b/src/source/building-devices.jd
@@ -199,7 +199,7 @@
 </tr>
 <tr>
 <td>deb</td>
-<td>android-4.3_r3.1</td>
+<td>android-4.3.1_r1</td>
 <td>aosp_deb-userdebug</td>
 </tr>
 <tr>