tree ee6365f182f79fecd69f6007be89d2949f0ee49a
parent af30559dc3cf47bf5a7a71d5d33ee63ddcc0e37d
parent dd3304ec3bb7ca651b79a2878149b47b95e1e521
author Jorim Jaggi <jjaggi@google.com> 1579783772 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1579783772 +0000

Merge "Fix fraction, and other cleanup"