tree 9889041ee7933dcd9d9d79c4778c53c242af4b4a
parent 0734a8bd4eef9dfcce76e0c667a8244b2566ba4c
parent 6fac647aa5d78e8ec1b752120da6d8713ad8e6d6
author Jean-Baptiste Queru <jbq@google.com> 1349458026 -0700
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1349458027 -0700

Merge "Correct naming of userdata partition size variable"