tree bb0f6aca6a3e096acae3ac7f14177a4fad6e5016
parent 40d1aa50b6b59f7f74ff83202174feb7bd73e41b
parent 5d2bc7c4f5c69e783307936cfdbe7b4748946d87
author Ian Rogers <irogers@google.com> 1363728433 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1363728433 +0000

Merge "Add missing finals, small doc tidying."