pushing android 4.3.1 to public
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>